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 - T|D ] IOA:threads=6elapsed=6.782cpu=30.356gc=1.116factor=4.487zXZִF! ]ŗXf1-qN50^Xݾ V'褃)*%\i` ,;K~it{펔֙j9#Qu>vYX8Ķ8yΕ6Mҁ6B?^K.msX( y,A=0[Hp^*^4#/~gu*h>_;d-4E5 JԺjI._^HmHʳ ­s,ͅ^uI"tDR](hDsk7G,熿6 lk"CwmP-#&,@H^$&m` e2)8ӦD=Iqh {r좉3c_Ck=raIL,vܸ<A=|>I`ouriQE7_iMXb'[/Cw:\gYZ7zXZִF! `w]ŗXiɟdN'LvH۹p0Q2Ǫg 7pλ'XhdQS߯4 ]O.ަehn[KE@A;IʋXAz[9wLT8*Qd,Zo1@Z/{* sFau'=H>M9@57qUR赕ȬTsV)ktK"~40>Vf?r?FRAX.; wvZx&?9l1?-<MDi:jNۃI*W{A1) t :[*(HKX kiS|gYZ7zXZִF! &]ŗXi%EWJ ;*V]it4ya&: !k)#AUlmgd->@( ڷ'b^Dn1"LzY-{ Bmҝ| vK*쁲'vW 3l¤qݏG2-¹ I :Nљy # *s'S̉/2 xM8>m*2 hރG2ZrکQMe_s+ši; ūWq([%/~ZE%QZ旡;^K kO`:o#u@g4#8F{m\aL(5|S>7\RMat ( -idb4A-29GZl"l`=?>HkZ{ͳ6 X0C0gu6Vb|[DTВ1.mA`b«N@n+@5ޢFg`d  @Z!fk~mPTvImK/gXMgYZbc4420412ee69cdd02663d094a43329d6147a67378f8eff916f7453c3062e701b3cb18e4d64202c8 c47adeb2760bec59a79f0bd1fb07ca0ee2d2d350 7c7e611089a45c5995463f0390a41b1fb190e655  IOA