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 = L|l ] IOA:threads=6elapsed=7.031cpu=31.104gc=1.112factor=4.427zXZִF! ]ŗXf1-qN50^Xݾ V'褃)*%\i` ,;KQՅfҩe՚)DHP S|`s* 8:C@|,"Ak붔۱uq0_Ta WOw|AX#C'Ap*ȲKE!*W_∃(M_ )m݊_w '=ZurB}pk(=ď>alOah\m7}cl^fN(ePrnq`KPC1v)*P Iyo@9,mjVwĄqqƲZ!E/8;B۵NC@zO%\B{ {N]Tz(+ Վ@Kip ,DP syfnD_ܮЧW,BEP8\݆n=|P_HR7ӀCAהC9wbyY O"nI$9€vrEY}OL κgYZ7zXZִF! )/]ŗXi%B$u0Շ#D=S*`GiV %P_fwH?0OJahE(ΐa?*u0\@ eo_۟E[+ xccB{Jq {)`td'x(E:s Mఖ~ إBI@-?)ZwE*\FHf'H]-4ex$VlvB` :OvUe4} ?϶# O0R_n7yR-;{EyrSrfWg^EX_E, pXDjbȮpˎ MmC"g<߭y. h$sݠBBhUvnO\V0Q9x<$ Z)7c ViE|~_Lɢezl@zzc?4gL Rys_cű|v'T^y0>T3'P ɘGdz*(FXxh,`̖2m{o$ÈxEȫw 6 (nF..#zRObѴƮ v;K̺`sUW6_Eu?/V0qƧlؠדy[k轍% D5P͌iu|2LtSTـC{, ux})nVooL%Y #4ie)|6ظ 'ߣ"3Jv}UxLSUSտY{yhrD &V^tw'%\G{ww l*r9<:+V\HW(`$ޗ֧ ,ZFzl]05QCzR-|0mF3U &5ew= N{T]b=œ o}4@ۤn"c7 disV35R+TlHe_'8\Ahw?FA+턅&eckQ X(O&1QSGgYZ37d85b23095ff24434447f48fe92d7f20bf5c306b54c917c7739586c95567d8d649d231ede1628ac 23e898e8397dbcce45e1c2a85750d285e5907f00 23d1b5332920925fdfa74fa798839236a213282e  IOA