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 o) d<< ]% Jordan_Hoelder:threads=4elapsed=11.009cpu=38.828gc=1.436factor=3.537zXZִF! ]ŗXf[&ɉOW !v_xld$\:Vf7-A!|=989(X{g82"Vv@Iqco ՚6D-v;6XÃKon7r$Ox[YCl@Чo-‹%# DVljz(W\uaᇷl?fzc-F!l!*) s䞨"#Mp?f܄_ x1 ;.C'N2`+!nm,vN8¼5l|z=sځCX>/Xl, JF[@×m_!s+SAL2i%Z?!Nl eͻg8g:v5}=.x!?wc@sAfc:Ge={ph/W9骸WVW5YWϑq,ŗ+Cww%ZF Ҩe;^07)B9"_v~C1*ޱsn%K ~npʄ.i eJjYwtp#$71{f{S}6wq6Rtҕ(_yksT"Yz؛y-ADJ<4&$K |}./]QNd((8 ybH5nY[Wm^=2v D1qG AqI!c#=:M. _=>׻bB^,#)^s v,Ӱ8Sej8iCG:`ϗ8+r,^Y^_ 0fb|,^Z8~Q SEG%4<ց'&x98s#v)` ^Rf)6c^BU’uX4wjE[Fa&nO]<":vK5g!5dOǕa*{azK'!ӅwIEJw_#˻Y@ g/NI-\ܧvDO`7:/>D;56P)a2q,=zH|9fc"+wCOꨵ 7` T"bv$Ճ-3#LUB!(#D{h]Pa|gw9~\"\ш1* N\_bѓxȞ<.)L*3!lj~f l,Z|w@iTrT3@4*frUG2E@H` ڱ&_? @~=yS#X y<9ngRK -;M3{@ %:1ͷ# TyvͶR[0#\5n| S&m%Rb4ۤ&A hiG/sY@"4 K6/aG& __}ZI5!