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 ] lt ] IOA:threads=6elapsed=6.987cpu=31.556gc=1.228factor=4.527zXZִF! Z]ŗXf1-qN50^Xݾ V'褃)*%\i` ,;K S;jų/9Y*]|@?e7AJ\rIvn'r%&6sv ӣu}#X|,-!¶Wqrpq !tmr\!Ϝ.=j_o>w2J9h5W c'椒2@T/ȱ /afK'{Wxt ʫü{>:֝t* :"|@Y"mu܂ۆI^>]9Hqv0@m؜ Z3.@&,ѪsqJv(d˟)7 ]y{  .KQߚ3Qkzʯ`dXpN&[4 ?«d;|s7pB{^Z'2~V(*FE."-,̋ Qe ۱FA[U" fJѱ嬫40  gYZ7zXZִF! )B]ŗXi%GC]tkih]M&='ag{%*: kR"+ERWi2=F5vu3,FL+^&>OPQ^=mQ,(,?I:%SGgΐ@!+'ԃH}`X. _9Y=PQk2!v:8X)>k ASsMAC!/Iz󝩆1xdTJ a}?qޅfђgK<EĊG'>H˧c% NB@! ֝4.,_j)SCWH9VFCw-#D6A@2L7K> mj V6ӊl5 ˉ:IIV4iLb i4/ٿH"e'~,Jwk"+,ψ1abX[ªGE~ ݁y':VMIqNV嘣+T|cw4[>ßU'/2iHiGEMl ht Ǐ Vj[|iNoN7j+㸆 E>Hhwv\vc1{&BIqkGżRKdZYcC7Wv0[t!gQ.Q|l}x?>(/WpG= G%zʽKn$ʮ2";QM>.'$P%P6ujȽ \e]^?94o&%&YCaL 2A,a`*u*L%|KȋOx DQdϸuE?03 ⌷@fU\d 'ٸފO(^7M;\or" gur_!Ru~ @a[=#iFۙ E@W ޣioOO@{prsSB3ѱgYZ9a02099ca4bc43354571aa9419870d72eb36456ac8b758c55bf2cb56ac81c62d74f7a65f594ebbff 4e355dbf04f38016bfcddf244a1ff37122307044 8582690e6c455f180e3cd502d9a13caa8f0dab87  IOA