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 41 t4, ]/ Finite_Automata_HF:threads=2elapsed=18.495cpu=31.080gc=1.356factor=1.687zXZִF! q]ŗXf1-/6vR[O CИRO!,<^6܁|kO/gMRg~ kl{"48-4c/[:< ڵꕣKk LwI!;j~PR2N^#-M AzollKc}BB WSfܿfx/~/&cAvc-jɆ8-V?2o XJR^pNx tׅv-/s J5odEQ+͢2#omY t+y($u̽V/=Z=ߙSQxl99_W(x )DU[n|Ӯ^I舰k=WG`y^x=s|#yyk)]IiS,d\ZM=1c䵓a_ʥ)9eh-TRWb[+F٣M99R[1yd3H;Ey6 HdȩcvMcNшG[B8Fb@o%i}SSNv8 H4]ޡi*W|!zުCOM*#rC-K/&wMxnJ_-gYZ7zXZִF! ]ŗXiɟ1˦r~KunύNN{ !hTݕaiX 㷾v}rU~gv)-v[;d䪬wѲkPmGB]/OCaphO"pr`[Kqc#~8Q"@FPŀnݐ0eW(CZpd.wYh+> Ȩ7] W>O?Rxh;6AZo$ȼPhclU85jˋb|KRx'd}y-={1pM4`!|oo0f/9z4'%0'r(~=0~[|_ryaMS-9,nQwY%cU;YK`jsBTؔ (Z2"cHR?Sh1#47",^oQHe}:hbQ\\;Hǂ\f1=ͭ $;-RtYcc:}+F7iw+PHFT凞:=i)pY/ʎs4OκNBFVEl1iC]D̥a6M N1s~d6nPR)i6ڦV[/*꼒M?7-ms{ @ gPw 7}B9iᆽjjU[JCluIrqm4a~r-pR9I[Mʈ/KPyYB5g FGsÐëpZ EG.bd@"/i %Wl