SQLite format 3@ .;  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 hh dd ] IOA:threads=6elapsed=7.316cpu=32.608gc=1.176factor=4.467zXZִF! ]ŗXf1-qN50^Xݾ V'褃)*%\i` ,;K   R]Dz4l=<#sί>-4/Ci 6Q'mQ+oP HP=R\7F+tJ8^l!SžR^;+¢GBd Rap5ͭկ^A r/KN"k()J/[nF+Wcgr yO+)E/}i ҨOš 7%Q,z\LW&)JH?pEm} ZPqkzfteYKv)GKjFy~:=]_i-,5q+)ڀڣ/CƧk$u =g-?͘<(t X 73h0۳+k=WXhKvËb. = *lYw@Y`*`-6g gYZ7zXZִF! `l]ŗXiɟdN'LvH۹L}FuGK<2/?/chK;G_oųXQLb S'=+%nɵܓe^?Æ/U>7)"E7D;_åe(q>։OmoqCx^hY.y8`7NdWN8G6>e-J $qHZ"S+Q;G!))ѫ!0S;$Q4iEIx?fʑS#. ӹOCUZ%$uX?d^-l*tjd8Q:oW}|lZD6 3BgYZ7zXZִF! ,j]ŗXi%G۪V!Z@D%(&cw'VƤ:&n c tf+/1a~&+ ]"D(e . 碴+( b~mjZSV}:q{N$-C$6@ő[mKeRm|A1Tyu ˖v{#,BQΣFy/]5MMI t%e3kLO6|JH( RGi S9H(#9CCRCw|e7*uik~vk" R_ fi;Szxyh5?RT2sD9Yf>aՈ 5Ȩ>ġX*FZo1cg-t@Jt}@?Ȅ}EΑc~-&k%|FyeA d5C?8C9fkJl%Aپ AiV||{ht$w4kOSA5(cBBݶ{WVXX08ozûꂚ6_O3ZⳌȉvb/[om,UA t$qI^!If0X="UHnǠkپ%~dHN}W UV*@yʼr0q.O9#u-"]yF͙>j Z0"5Ī Mm%3vu6y;9}C>`X `(y`S- xyq$ڴvmz Y;бgYZ4f315f4d549b706b4ad255297aeec6cae645e7366c51283dd05522a806b28d3dc91f24fbfd1e774e f637bd9bb9fe8f2c1a8651fd48e5fb645f7ab1c0 3ca689bc5f79e5d6014920bfb88ab572c8902d05  IOA