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    ]]]ZF:threads=6elapsed=12.787cpu=44.688gc=2.956factor=3.497zXZִF! F]ŗXf1-) enȈA$jB80l,v8-qFN}H2研M`9#Pi|.&BA)0\oaSQmq/l=|R #PO ~37S <Sb J:rN =_{' |[c`N;jgF / )ۜ dl7[N u華A^EU/܌o06a{ۓg%@ˎF*D`0)Ni\rmӀ6uXN@9˻լ4FL) T:V9ˊ&;ȁM?8~Ng.r<@p# oJg)R}l jHD!-"x`١*9| Rԛr^O)RkI?y vGCuJ{ \s/Mgg+AhnQ Sp о|Ka`(J.å~mdyXfSAf"[s[Hv1TuhQZ- _#PqergYZ7zXZִF! =]ŗXiɟ 1FE`穱 kP,%q澌?DIՑxui9}Y9^CpG,pPf\aO_ IXY!y .84 :W@ϧv( nv zGUs8z .ҕ:++Nܹl^˖+D lPth}FlC??װ;j3(+d 1p䌃C0A jB5ܙ[VyRML:]| Lş_V,0轄y C c&qc>8Ϸ).izzTj}7Ks :kdqشηwmwo1 ,HqHD} +hO߷9v 9@G¤QAFUWOo>__1ΝŘ&*:>{q˅uCI>KHZ%nTCI% _I\$b١(H@wۍ-=qwBy,j3W׫tUUYGUcgYZ7zXZִF! >]ŗXi%>A,[ u񪫭n!)$][wڇ BUe`+ Oh${jDz@N^SIABČO1C!yzĬ!4j'r:1`bUM!6(a%4@oڢLWz Tt X'ijh/BjN-wRB.I$R&o?Nzؓj^Gty}݄ h*`C+7Y]~L Ydž=3f6^\`\J{)5c@_* [9YzQfCC/_2Y•AHreW02œAB`ch;\gFO"u$ile'c&=٦~{8JxFN\xG>ݤN/>^VR--m/| ]Ac^h qzB ;[<([o۾?@UEgok͝T'OB ZnA_M.h)GӘjq%v#ky n Ou}'_bs5L ɕ?HV5tcՍ(w<5@D1ģ A*jo K9V{DŔP} }~vI$T4c_KYɏ|eHHL@Bvwήi 祠#7. Oq 28F%2(K$K9yviV1 T Li؅&agi 5@#񻨃Yl#qWʗ۹-pd+s)e,?=@2(Q؊.@[!CsS'0i{ap# } UgYZ8343014076271b1729aff309221b10a4cc0e49c56a4a8939512f5187f2e67f11383402b7a93008e414b11e4bd5d4a64a235ad75f53f3a921cff2a629  ZF