SQLite format 3@ .  B --?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]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info CC:% Lt, ]/ Derangements:threads=4elapsed=12.162cpu=41.220gc=1.296factor=3.397zXZִF! C]ŗXf1-q恈͐7ӺV d>`;Gؽ8nt*q* .#lw gh,jpi}m$ӊ;Ϋ7ɛnwˌk7K6 ߏHY* ΨHA}fgdLF~/y(n*""dDT<+S>ZNslaaTtcŨKfT5\ ?v+ʞ/&8h ޙds6W,+lnR? z/}t`6}2W[vB]L!6/L@[dÖ;Wn#R(ΕSxD:1`#Ndޙh1>W D6A|[Xĩ`M6FE zy}.]a2[^-01 ] g,o2p1rC&i$Q'O-ti`yZ3`S.*u9&%(y.#c^};I|Ȟbnk#싰9-,aA0CdS]3PR:AO:zу8{bmjZ:a@w yGpDcoo}HJ/h| "A*N@XjZo3f0ğ7.])0/n9gix,kxgYZ7zXZִF! ]ŗXiɟ1˦r!cHkMeBd4 nQ@1_N-(ELk9d5Yz/Ը[layd90_=϶~Z7"ݻX N "ç= ~sѯ{u0KF _526`PF;3 gYZ7zXZִF! Yh]ŗXi%B $Rt@~ŝ 2k30$:'1%vaaҶr -٘vEQ8Ώ󘘌Ǩ,\v덄tW/WHR#?lA&%V8ď4mQ=2qZs}~CUvM^gy(װR_ifHc:XOR~LSB*Li=CY:O }9ĤY*[ c)<rڿ7[~Yze(<_Ԍmh/rf8a4[}_pH] Nϰ9ڱb ̖iȫf1ʯ mC2rfdN^MjAi!GHwF]I%*obqQ-o+"]N|E$/:]]P\01uy{\\oC 5/( p~™D@*eIa}m7ѳ& }"=: thk&&饴!?Q[I@D(ӴݎY4*vd{ꩂ,/Em]\W.࿿P%6.ta¬6?%1nAEnxw"Jvөb/\Uv 1\#'{pJq͇,bj[,7e ؤFlϓ UTiLb'miiLJ$Pr9o\xoYRrGNLaboJl4}8<Yְe*󃈭7z$B\p]hPNmCn/Ό[hEGbgg6!#!F/Pn*~B(JxUAeoFLWw%[|BL΃Ob]*|[U& ܇H:F\-U7G *LU`ŢUȔ.4eYsNBuy&.:,*Y \NM{~S a bdD$Opߍ1)Q2Zp??|T[%<QO*ho H )[OGUAKiʼnpz#+wl?Y? G]ŕoCg6MHӼ߅YaoSdCyqv1-S6(0A Km$=ew+/t-kk5\7_s@