SQLite format 3@ .  B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "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]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info  i? L4 ]]HOL-Computational_Algebra:threads=6elapsed=34.452cpu=122.404gc=7.536factor=3.557zXZִF! 8]ŗXf1-q恈aldC>14aUW-+_6}L{{J>5kU7wajQ1jw۾H`w+(A/gtd#2mR3O[^028㛐Ct OΊza0#P$IX2+~6'__Ԩ&;8Xkœ=jOT[i)-,]j2&㿤 y"N`1S` g6(g,i!pgIoDI˘gs0m1 {aIsc7@ϙrw4 m,TdI?I~[WҝyZS 5g ? HOL-Computational_Algebra  u,[.撆zQ~V泼q؛lVqԿ%YeyQ䝢ΨI,`k&Qq~UQ{q/gQFBj, f\DV3LG 7nmݏ")%#%'Uitu#M)i,@ @QG5IChh,34O$:HWobq _f ^/RN{z g&iIG@QΊQDu㛑 o3J|qE+LS6W c,!#'r_2;vh|^s+rU-~=>x֠PΊzCFq:1&ҺhODd6/E$Op:I_TOYY"6pu[w˯|N'=!D O8'qcl .]Dyd6tSǭiP빟ȉ}E' 4_a!4Z KK@(*xP*4Od_MCz&E5cbȕ[ qbgYZ7zXZִF! ]ŗXiɟ1kUD,"ȻS>šgDaon"y̠(~bJSzGΉ T7Cp C)]NRؓUтy+{L#k7JW~5}`ЦԀp؅C[k>IT1_nkmJ;n?'joc,ڿ&5֣o"T]3\uXs $%~,THK8/caGyK/ģI1 s߉{ExAT7Q&/p"@2nr(TBi ł |a_J CfH?]~{P땚/G&=oq ,M>ۘIy·D E$1떳A ֊j̀xK̃uwy|)[ױ,F}6ApwXKMR$m&Yfc#<{rFj-2SNfbr^(I4'o"z{St[}|Xh%pqsq#PaE+iay:֌!ǩ`Ct;R"\ !h­N݈{={K.,awlPr *7as6`Ϯ#41lŽ"*\ϙyښ"@Y)7ihՇ5bT#G(I\(:0 :xq1X^tCbuI^q0E~ Y621=EF<Ǭ jEH#0p~́)s3kjIG*!‚tCzՑ-=GFn}֟P6< Έ Y\t5׵~L`v%)PϿ{n Dpݐv?F3ٰ/?Fܤ7iy吿Y-5ySKogA?jv1uΔ!Ú{ ܏q->}Y6b5n 2Y3"3N?w?񠇭 $BNP(qM &XH/!1ˑߣEe?rzAAo!qg!F6~t{L#㝜HLN,EZzE$(ϯgz[(DrhlcZ0GEjr1>hfINxRVAz$ީINjTơOjJκ BEO@Z=PDGC* V٧ |me}Ct/|-’)>э uCn< h1QyċStE%9FꚇR*M9VkNL7Ltk沞?ts7ޙ^gz6tIƵ >4#H!MR 2K.>GHc <`tVŗ;s2!*IYf]#7ޢ=@*:jYGY[OgE=h€*S!pĘ?ڳ:z7^e\:cXvdy2R2_'O IS3gs!o.%aNLq!u%Z VV ~m jV6?{vs};əC,B `:=ld$l9Rjwm`p'= njR!$I+go3_FjSJ|Ъ̞lꨆ&a\5* H:ulT`w63>3ֹ`rD}ϱ]O[~d:)pAӈ f ixQA0WO(2OqQF; ٿ_G D}r5 x%s>8NQ$/&GYH^XRiqVnz۰=4?"52Z*7ed b-.=yFORY@`<ד}I@1ˆʯ9.d+mFBwmD{cs;]y[wVN6f?cZm":y~+fά9#;wJ1]V7h^K-&E0" 8,VPT0p#u(j`+JUTƔ`^SgYZ88891a9ba2b08295c03e414ffa007d1c751440b8f446f03595bcdb30e30624659ca93892e4038ac3 d314e9ddc2049cadadddb9589ed87cff70c95a7e cfeb17add6dda1e3feaa2447e359cdac203451c8d1f12e9284037043c42afb1d3f22d6115bc5c689