SQLite format 3@ .0:  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 WW& |tl ]]]ZF:threads=6elapsed=12.487cpu=46.828gc=3.132factor=3.757zXZִF! u]ŗXf1-) enȈA XR„v̚Wei07ݒd <[1!)6 k ?{i}g[`)!^C EqArSo$5l;YR h臟|elvʤߏyTZ.Zʾ#nA3۱gYZ7zXZִF! 1]ŗXiɟ 1FE`空$wLPzmNoɓZij[zĚ'xMAП.!47~oNhF HNwiԉ|sשn6jgk,9n mk>H!Y^(v[:c)(1C_Yȳ8Cm'Ӄ|դО_fxj򙅰n ~8kuLO ׊g5+ c"oYJ%&l\ ·Ǽ7=sdlv~])NU.ffpH0ҳF"̖_v3Kn_,NM 4 Tt3=ɑMAe5I:Y(0傂/ W\81 ç,&&~UN4@5;$AfGea*&F/|[7+HZ̩ߍYD_R9JJk8~a5eeUAbC7;x4įNcd XCFoe̒n*\pYRvmGw.|F 94:rgYZ7zXZִF! Fm]ŗXi%H8 X?04} `$H2 5\!_ot`tԕw뀦I`{d7N ٔF2J]dRL1:f`[հA+Օ=U$/{yM2Y|ӱ߷?2 P44g."} !xu4^aaTd}LWp/uf>t]??5{۝ez TCJʘr)aµEE$~8OՆD'GXvONsp.[mTeg,Ql{M[HSo6AnA}18 fkvʇpĥG?bPӚ{}~DT31>o-j7M<[52軖7!դ h(5T:rFI4OVkg߸8߂{{_M*:iy7tn]y}5j'鴝WF Y8/2ڧU_OTqQG% 2qCu(ba%%^aǭ4r3貳]r\Y8eD,JM1ߵ#p'_` nV'%ajfm~&ty7rRP}}ԛ v9A](Vl&wVJNy }!%y ަ{_{@OƝ~ 1J< m +чc-6]nC&%g,=9 KtVGb$l:]lg{kcM%?ʋ;$Sobpe_m\w:S>rY]iƥq8BG宾tp`C#Þ0f 5>ҕf7pq$L /ey4GjT [5$/Z8-Rz<&ӆ?=EQ RI% v=5",z\\˄B R".~(Ȱ͑"$VA* =]fBD9M6q? ڴD42'ASn,2??M)v#l^ [\c /ձPPz,Z5 5 gY@X$]uUTZpi")hU;w|TRwZ!E9rXRm:ΐvc`# K?C$˪"GOgO` yX`Բri |gYZe737b2a24b63c748a91d4737f779e480dc73b2b77c385341d59add624f3803e0e2d207c16fcf2b8b5dfc03f70680c2ad19827c606e7867d4fea6a74b  ZF