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 W ,<| ]/]HOLCF:threads=6elapsed=12.432cpu=38.948gc=2.428factor=3.137zXZִF! ]ŗXf1-q恈͐7ӺV ༂Mb0v9?cGb 5Z;e3.i@07: phi41!PFͿwDF] TTut6^">:x_#ԇD_kŌŽ"$"am[3 [XEyĢZڨĞVĴ)"qnO OMprͲA=zW\^~}$E5;qG}~  SCwԯ-T[V7M-`a}g?wЮ^T `=2KώSEIԋ@+P7\/Eѭ Tz̕)1 ײؚb`\>=k96,؜P([ѥ),-cZ88&fhݡ: ʕN2i ND-s94'Ңژ 7ͷ3swf?hN+iNAm)2ŀp}s_hz +)OF8,F }ehVRSj5vzs[c'D^)S-18NfA׽$=Z dlFgDA,_eM;?x?mbm- c"?$%^W"p?#]hgYZ7zXZִF! X]ŗXiɟ>Ӈɇ9S2]m[OBQhKxW?>WuJ;&SyvzVvYڜ-&RNT$"iYnw˜d&ATCJVk _FL`O3a0 zUϬ'8yѢ05U]V[DeG3_:7bltx A7 Ƴb@_,l ō44FV*vK"da4$["tig,GȚLj,;Bc>|fXṞgYZ7zXZִF! <w]ŗXi%>Zy 2q>)F< oxsp00 fEjsfHSpsu lD>k}Mj;/;:2ؓ1O DžOKs2¾”ǔO;Sxwq3oK4GW"8͝Z*Ĭ/~2 = ÐDNKh=c~g.R{d;:ubw*/[ۤLꚽYE׈}OPF(t$-3%6?6#j2RTcU5Lp%ΐS W:)tѣCO$M/k[gQez+yC>ҊW2eŬըz>xrxBw&ն.*P_ dźGŝ{T iTL"\;z>,gLEO/78?R9\ͿE<% +վBd8>e|PUH}G8ZJɕ,F3Dq~FwT_1Yl22B󓗷tYbf%QBfP- Iq h.P$AUA~[o$cnkߐBT0dlUЩa KL?;QTlfvT=A͠U 8rWѩ^Kpۚq$QAg >ab^b,K)Զ