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 K ,,t ]/]HOLCF:threads=6elapsed=11.447cpu=36.456gc=1.632factor=3.187zXZִF! 6]ŗXf1-q恈͐7ӺV ༂Mb0v9?cGb 5Z;e3.i@0pX̍tk-#ƒ=4ry:GDslQ{ʶDϽ+XjTapr $x+D<#⏱^rΒF[@9*D#.jHK3qDm떧&5ÚpjgaMY4ebCJ?ӔGտ^MEnswSʦ Mg6GznHsm 1;>0s~[I7bn! 2!DzJSYWed ]t Q0f {pZقcE"K7~IGbw n}@O"1[_"=rGJwgD nN- nўVsE &P_mK fx돻WG7S+AX§>/y5m17k;u5A1Y-[8Upim/J+k^1pO.x>C+_ΧC^2V=)uI7o^z%7-zjB?MV>HjQjyarvgYZ7zXZִF! P]ŗXiɟ>Ӈɇ9S2]X5m¿? \C_-a9󐯦ȋ&uN675''rf\3,;,[7AnbD͜ ^p@Ϥ}ϙϿ%PHU4Ml3LLSӊ,N̮xsK-JS5XJElnzxs"O YC2Qeʅ5dgh|fD#eK̕yݠ;p[2zhr#gYZ7zXZִF! C$]ŗXi%B}B&y5?! Z^ S?sI 棉[l!:F-({maMfΌ/usaGP݅~؀ :C NI׎sn蝄ibk@v$ ^d=vf:eInY!=&Qino|Aq.3 n" TR fD`b)*93p-۩\WKsUr. fny/0dуh* Ӳۖ8xZ8}d^tzHb!bv1Z߄К*IT `@Q'((ܚ e<joj[\ޘB4>.`iFhGWD{K x>qCN<<f*49v*[)Tܸg 4Z,:QӑB1{N 7@5WwrQ5W~̶\kZMpI@i8%鮇X^q(O`ٕ&X$*'p-*^+cϓQW|vhnI47݅.|];47§qì<]#1LTs @Ǵ,POZiuRdV ڣ$|'gMTGU5¸@ L6b3\p*w ſ{2,0ʒ+3,S'S#6 (Vps{tNcӆv2GV`aTh4|(Vm>kK8< bEQ#+Vq"zT&hEӸD ]xЦKZ>ذC:^M-;2lGzX3\fIZU&u;-_ 4rZ('r6PbZ^ۧy 5{ #ΖMbd+%⻔?zXٮupBˡ|U8n`ق) "`RWhRw^vr%D[-ѭp])/ []Cbst׋Gd'h@=@Xdl(W{jf c4zD#l _ג*CܽvOwO,$b&XShTlLT { lDt|QgdlN~<pL78^܃F.a3 -ұgYZ8fbf880214855c25e51726ac9df367b3f52b6b39d6c847931405fa336fce077665f38125e2e96ac1 91c0565cebcc5e75b6ce0f995c80e54f320cc22126e709507b433093680551517ca481fba2f1f189  HOLCF