SQLite format 3@ . BBh77otableisabelle_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 44I |D ] IOA:threads=6elapsed=7.487cpu=30.144gc=1.136factor=4.037zXZִF! ]ŗXf1-qN50^Xݾ V'褃)*%\i` ,;K 𫻪O=`N@rf( <9z(3"/fKh1Y,E"޳ްOV F߾GS/~79R4US>.xso)$ByB)BqGKQ)oMx꼹pM:հἑ3xVS;E0 Qj>^R`3$>+m@ri(K#(*UUMdC|/k!>L%E̖m]y:HYQ|R,rG_vGnr4t&}a]a!;_8$+v'"2/(B\Z'KK(3M bRQ1Z-cIc\R\޳$\"M7b;&WgYZ7zXZִF! `w]ŗXiɟdN'LvH۹$Ojw nL9)VQaItzᔒb.|'m쓬\_L`yFUQmag -Ƨ[ʷ!6w辅_vd")13ϏTNw M }3, XS#5jBӞ cX[PDs? Λ9΃i^_Vį KU@{+O5thu h$ B"R֒-D_`kmąN؛khzR;)H%#H,$ _Gg_!J! 5&6'P4e@h?l`ЀhQO$H:z kiS|gYZ7zXZִF! %]ŗXi%6`@?I8l(I}VɪGtܡlJ[Jb܄hECIQ(۽b(##5&N՘8Ҭrc_&e&ܘ6.[SrDŽuII5 >>t^qH)7 qgxnoJхdzaħ+Z=1ca}fd0ƻ?>i}"fE~k%Rd\Q? HFWg51{#) gNYV@Kr{xK$~;x506A&9_;T.(Vb֭ bNi C3M+=p gA[u?*DӦ*,׈tm@,c7W7!hfH,1~3DkHZo \/ĭz]YbĮt9 P*-*$(!Xo< #$gP"axWm8_>\TVAU9x0tKqƼQ۝r'YxΥ͙uqƁe–xi㵨PVyxq\fhfd'$=>i}˞ |XQu|GYnVX}. Z&<4ȕ=} Ұv 6QoT_>1.IO0L){hA!_(8yego#\^, w*m\qx:ۿ)fc%^Mb28/kjoW'DX&1gn։CE| Ӓ~K*^*-Ԧy+; aX.R4;`4$}#ȆF;N넧^W#2 (h!i}߯\XU{W֬ qBkpӑ"vjumCCKA7gYZ3142b70c3d014bbfb4f8039833077c2783e9e0c60fd942c2de17ffe6e7e669ea714c0bfd1357b97f 96be2a9745a5315d1ee7c3748cbb3041e3514260 8a8a3cdc96e4285c5e6b4d0bae8038a747ff57f4  IOA