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 8 l,\ ]/ OpSets:threads=4elapsed=14.346cpu=48.284gc=1.308factor=3.377zXZִF! ]ŗXf[&Zyq1/F˹1`2WS۹i|K%W g:\9wh2BDYlQMƹDP<`X'@˞uK $kH7{GjZ@̂E5gYZ7zXZִF! m%]ŗXi%G>Ӗkz!@b@24LYkMUJܺ%Ubh᷃3:eH2hV"?sWH“겕TIӼKyg%B’WcR!Ѫ$+nYMhY3*Dе[4~A9C@yVU$[81Ly2d'r¤/ ;{P=>9&΁c'>d3"J11is,7׭ODn82PppxP8/V ÷Ͳ(1N)%P?~ 7&0?; bx_l-$q^^9tKQ1jQ>E'Ƨcs=!%8¨jDpJ@yt5R >¦X$Xh'“݀ٮdl1˛C^Mxڃߩ 3fθrO)m^WNeJ9, 㤓t$UW$}קs'ƹ/J*]} ҵm(u 7Ԗ㗈Ý J @IO8<:{io}$"FEI&P~?v>GhH-8y$g5Z[Uz8#D hu'_jtU">մaocd'ϗKjlݢ ʶa1uj#r";`;5g}ϖJK~(Ӳ.1Z"/qCn2',j$+UC-a`W^"P=# rd̗]1𸨰d, ͵1ihSCJ B~i!$Xbb,W!t~ #臰DEyy'*7}30KˎY0/ H 7ސSrA@&MBǏo e[yp|vql.]9x}{]#ؠs↋o #]@m3`NT'ǝ50$LLG7Iru],| 8ozSEG0u|Iakl+b)7Q2hcgiQv}9K,UQ_#8oqXm\Jr=u̧A%03*:$+qsk^R#71Pq{a$yܟ߶xZRX<{qIoEqrU7kEyōYTv-HA\PleH^- P?8in';Ҁ4A(D=rA8Jm9ɟ&!Iu~#3ݯ[~!lktz@ǙqKOx@9AvRj>8ES2Jx*˘Y38*a9˾@/gΊzfp Es/7ݩ#z+f iQXV/[DC>lBa6%(gYZbd70fbca94c5dae008fca5c66825aac28e001f214e13432f40f7b1835a151e11bc124aeab3c9b529 476b8b6d93e3d9822aeb6dfada9a4f4f5a0de682   OpSets