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 : \dd ] ZF-UNITY:threads=6elapsed=5.100cpu=25.136gc=0.844factor=4.937zXZִF! ']ŗXf1-WHIk0p䋎dh֨/+aGb−>|omLefÄď- >J )bRTyٹP$%'"퐁"̪A/i9DpgfRRਪ̂1 覽g9f_4v3G& 2`q7D51t@ꏪY1 v~-Z-/^Wtwコ㟘nCw7X$fQ0`b% \y<(zJ1LP10\`TzL+5lW5LdXj/+W:z6U/+DSxϯ`Ckׂy>eCCsL#nGK alZ_j)UHm<̲n!WjI3"RƱva?+?O'"ZOQ9v[%aB5ُ2Eq$!, Irle^_gNJh&o| Ĉ*^vU.(˾s겱gYZ7zXZִF! hj]ŗXiɟ9 i:4V;}A<<ګMP7#\zuqId.3GtYhuJ%ã1Y!aVִ1H.b^QL~TGq4mJ,s2+m'3V ۃ?!b"*}ZOag>tԵ#⳥q,p;NB΃EwdN?pi04]./]mufHd)Divaћ5 V~53{BKVb rSC͹dܐȷB WI.TA׬ _=dDgFi @!x J%Nk4dWaY mU gYZ7zXZִF! ]ŗXi%6ưK =:Dh -.&s̾3H3f* ~AcL[ow[N&m} >&Rp|w؛t|~.Š xl #o>{e 6~RtK~U\q}"~:a [ @}aE!;g&d1iSц6 0Nc$ÓXH]SzY]9 H[w4{zBBJJ۔}N[dxڷ&SG绮cƅ+Ů3ÖQnS?cp$/%Lj۞Uy~gצ3`_*gYZdf651f4c2eac1759e884b7c1fbc2afef8cc340c25422efde7cb6d9163378abac38277ec5e6492f3e d482feca64894b257b1265a21b9dfda44bcde63b aaa9805a1ef3157903cf5b3dd2adb16ba8ff7a02   ZF-UNITY