SQLite format 3@ .  B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "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 ,,Q D ] IOA:threads=6elapsed=7.326cpu=31.736gc=1.284factor=4.337zXZִF! ]ŗXf1-qN50^Xݾ V'褃)*%\i` ,;K Lto֓?J"|}NaqV} >C E䍙 'Δ9 I9^wTٙ98N_1"HZ(N=Dt8y?2$H7UUxQ= {s2UE[ʽ(v6Db AyM&1?u?1{@>gM̻䜂T9Ҳ%Q/55tξc+fq\VͿ|>{㱫RMj D8pGn.׶kL3 8n)x`JO,V)F^G8P]. ʀ2pys*M=".f+p;"6X۽ހ1S*lgYZ7zXZִF! `{]ŗXiɟdN'LvH۹$QOd}:VǧU60ը'Uzm[A,JMgǯlu1%~-b'eU˵Ub0ۥaeq+yk1W6 .[Q8uK*_MU֏>Apƪk%joFQG^ܠxi_< L&3b06(9!֥-G:Xy6^vʤ'Ύ%xͤ{ YpbeRj4c W8do!=7x P}S4^~/\&Ef R'OI+Gbh7ʏ }+gYZ7zXZִF! $1]ŗXi%>o!)æc}zHxpStp\h2?5Ơn<}80~~3ZIq FB{4}ewRui6\m8 Wz !^ў1@/HOL%Z dpGԾtU"!^mաyᔼܯmgy2BB^P)hb8A9R)\^Zj>BJɪ>)[Jf p(]4<\KE譕͒ƣ'BȰ|pL2|XAFBZd轪>@*\nYH}Np5ۀ+6~ DG+C@\ !yM>Vb*rS*? t"AF#2穄FF65x3a$+gp!=V'^I o46'sH%/ e<'ТWTb2֟L{qvneȷU:01ʒPƹ'nFiefA`!fQus/>tgΗr7gr0eT¹x~= Z]Kf1d5eH_XUS3x=%j }P]6AzI g N")_^&?UQy&\!hBEU.(inGC=(SmlPq:x:mdG!bQ)!z fAXe\;%`bOF%0i@?YXG q)EgF6Zc$Cupq`9>D;l%UvHiqHgYZb4725e77ea187e1ec31e691183492ba3bf3491f6a1e841a14f3cbe5e635587c582b2f4674f435e40 7d43288a5cc968ef6c8aa951129cae27c402c99e d3dbddca0672b76d04da99bf9ce98009d8a9ef7b  IOA