SQLite format 3 @ .K B T11Stableisabelle_documentsisabelle_documentsCREATE TABLE "isabelle_documents" ("session_name" TEXT NOT NULL, "name" TEXT NOT NULL, "sources" TEXT, "log_xz" BLOB, "pdf" BLOB, PRIMARY KEY (session_name, name))CW1 indexsqlite_autoindex_isabelle_documents_1isabelle_documents--?tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "executable" INTEGER, "compressed" INTEGER, "body" BLOB, PRIMARY KEY (session_name, theory_name, name))?S- indexsqlite_autoindex_isabelle_exports_1isabelle_exportsh77otableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "theory_timings" BLOB, "ml_statistics" BLOB, "task_statistics" BLOB, "errors" BLOB, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, PRIMARY KEY (session_name))I]7 indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info 1'rdT< ]/ HOL-Cardinals:threads=6elapsed=8.949cpu=50.865gc=1.5987zXZ ִF ! k] ŗXiɟ Q ƎRؑ)x0/|>@gC͒jD>M[Ъ|Q-Sf&l؆ۛt O|U19THx_E~MȌt)-! n8%IrՔd&8?iU!p`#!rK]eeMsZ<?w=`E r21D|^<,70&km~Q\cCɇiyD5w4Pd~t.,g Q Z2(w)dCj. B6H7B^2+^$ Ȋ^^qf"]F^Κ~;΅Cabe*svgOUx. j|Fb7kI& (Z$^h?{G.]oj{!lؼ8F`f-x@u|OwY3~SqYl7+䌴lWe+K1&LۅNÛ>=]<Hh|Q;qP>⏍Jǯi$Mq %Wѯl2)p#LpplbZxx 7Ԃ|u$gH$s!Pc/jJEeUh'* b>_e 8 g YZ7zXZ ִF ! ;$] ŗXiɟ1?ߟ t;9BP2CZz眭5 z c~;%¤` 5MXNh]svRVr (_oƠ5td9 `G}n] vDC- ?E{pZ'qx[%G`7ML,2IRO.pRi5 H1NO2+βe$dik-՜gdf ij(;ӯo3(6 Jѥ" ̣Σ_p 9g YZ7zXZ ִF ! 2] ŗXi%۴q[Ca>z-q,wFo]oeW}˔XFF,L/ˋ%_gid-+Ԥ]d\o"nN^~'#Xf6 H`=Wmd i~CLz#ȼl{HN~)0ym;DT8S"Ilb/zNUK$+2V㕢}#^5RRtv:3Ɍ$|&sz*w='AU|?{ qwh#AopIf}m~*x95:c2h-{.' JT/Yq,Οx9a~az,GEA<2XpǤ{$/l|}Z\"â#> xBa+ \M 1GF# !$$-~#^.?&W[Տ\>w9,ge5@bWp=зE'rZ<.-"Nke"7T@|Vl !I(Th'س-6%ؤS;3ₓ A":,eiS }Wf}26xpH@UgA70(x>ܤ&V(+H()ݍe:vz]स^tA9;:i#^.δ鑦邓/ E<^$;ouf(L8fylf!