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 -p| ]]]FOLP:threads=4elapsed=1.292cpu=1.312gc=0.0007zXZִF! OV]ŗXiɟH)0%o[ ᫨(qGa.t/A19ɽOǝUuk-31>C)VxX0x=}w1,IKn xK=0L]w ~(T)U`enjM(G;9Qܦw<; h{;kۤ>c_ :OilV.u3c6(=g`v{^{̍\I?A8oTSn#LHt(lV%C7P?*(;_\9fRW77.ISěUTI|րP Y57m'"qaTEdRRDu?[2PxbXNɐojzH0YGz*LQ :@ɍ5'=./ \ "$_ڠ-+TX4=ꀖ.~2 uNi"w3 XU0z V@YSg< 1sc4 {zwR:0_ 8* r*qʫ,QN1W*pm\nRh>eJ?3m-haj@m[cX"Ω)~X/q0^Yt0ް (wI"Z(ÃmқSj,'\&U$,9kS㸭S5Qvt]ҿz΅".`B xwzGXׂwf)reYWo|';rh7`d;|r<.K-NCea9\T91+>̍56TVlD7N %}XLQ+7 kǗO$iԐc\#/ozm|:å:^$ygDtͦ'Ze~Ҷ׎|&mNA/rՁ߻bI+JJ(ZTc$(::J3}0&8 Q&nX6*v 6 ~d"֗ض)T1 Ao[RsC@S$F>u`93֋oU)^Au)(y$!2dqpcg X]G&8 4w}%IJ-X*0y8д+M{0%J C,-]AHU%7V)/K4Y{L9q1&Zti);jT3`%Kj˒Tc- #Y} fpeʡblWZR~?R,k0X0zWYXi4M`#MYkn CWw *2nIMQ eHo !^Nj9G *% P?1nvB:xE *U!0R6T։Gu8dcvr~EɳP堇Qz_6מ8gYZ7zXZִF! r@]ŗXiɟ 2 :S~ žCm >!b Y4P D։N @-L\s}YZ7zXZִF! ]ŗXi%L&ó9ܷ%] Ӽ_h*gFfh*ͪUo0 agY}VUbE'ئ-ը&OnYV9~ds6G 9 V]P#˴όj-:NVXtVg.=[q9DvL-~ vb$O5y3n(+o"JW0]l4 vw}v6HIdq_ u.F0q!&Y=WX;nIB++.Whbl 'MCg[o{8 ' `NwldHUæifXٔmQ5}& $IynQfŦK~€yîc-@ٸB+\lP$Wd2W\cyҞo 4%gYZ8cdd74ab94610fb508674a1dc0b9cfff516d05649aadd396dde0a279b6a4eb62f8f2ff37640b410b513038c6512eddd9dbbd739e1e1680f8f33b7b47  FOLP