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 xx 4  ] IOA:threads=6elapsed=7.143cpu=32.124gc=1.296factor=4.507zXZִF! u]ŗXf1-qN50^Xݾ V'褃)*%\i` ,;K 𫻪O=`N@rf(pUŠ !aՒ'ӅD=GrR6w3xo_!jluS!Vz^?y?Q\צ]_1=2l9*?3zEA >(,\ZJ8NPpMX*"~yHj_0_2LW(x)}ܦ 9U@R}hr*nt]acAfC"t]"Ϣ3ܰp a_L"ď,"^@`q8h'Y 'pD̬' $`i}= үB=}oOn%X&/0.1劮G@vX,qN]< xtsYܸ\a"}L3)7q!-*y sHxG;)-j5Y pQYjUB;oТ'*kgYZ7zXZִF! `}]ŗXiɟdN'LvH۹LB5) x҅Q8Ifs9&I'Š^yFߖ\6TTuM WLxv磉r+q ; G~UO!sqP.AͪE͎ Ғn`6xHUNIwǼ@}>K)IViFjIL!})@' Zr䛏Q[Cڛ@^;A XVOJ^ᬣ4DKݨP{lJ>'_ab0//= Ӕ!.Ơ^ۜj Y? AD[o>lsiO JݱgYZ7zXZִF! );]ŗXi%GAƇ+Pfџ 5X^J 0˽zڴ( N `($Q Šٔh4K?K yrE6bf >f\L@Z9Wm, J |28jAJ5l_r޳)>sFaZ ϓhyM(Z?cT 9r40ۂ'n8E%۬m Y"n踅ɓP#SbS=TE#C# *ok$/h$JF3z %:$jg;RN 7|y iPsl^Ct♌:LJhw߶<0 ,BUY;61VhV,DRҀٯ~t1 2y$HQW,}rk3e$X_!##k|Xdf9d6crm E7"hrħ,>Ph {?t=L%l@M=:߳Exhz%R-1{MVpsaLcf3Ez_? [O2 튱Nw1ܳ>.P"C<9%SCuH18 hY˱֕^{)kC 4>2LeQ| j2\4y>3ُp;3>Лw.TXϋD0 NL8 'PLG;=ɪ`FiVP]nØ'ĮٛĴR0GZ '6>R[HQ>! rt#TKHt,rMN3 ܚa %RlMB q!DNJSZctoI3; c\AyX=j\Ah7q FO7.!xN] mR0ݙBF ޶PZv~a4STMP?gYZf502382547d7ca6d4dd5b7cd2da4888a39402a85174cc62824810fb30472fdb32ee1776d48cb238c fafe655213a5e9886fd032ac78bb3ac5809b55e3 672749b75d951882b4a5090926a07b98f5b47e29  IOA