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 PP- t ] IOA:threads=6elapsed=7.311cpu=32.500gc=1.428factor=4.457zXZִF! ]ŗXf1-qN50^Xݾ V'褃)*%\i` ,;K aO`m¦ybh:u)o0M4mZɩ#'P9] _/Pi 2cpG b[T30L9a[;͂+l hF0WmʥbPXws)`oGtxoVDZnL-5̊E/=xGg) ";,+k2:t/ﲴo}OW9)AWc&BPpr#QԲy&D;AArEX)¡;+c$ FQ扱c 4q 9RD 7kO$t o}`F_cP~ő|ԃ#owυRiW* 3o@H2X wD ^xl,]xxgG(g2-b3gYZ7zXZִF! `s]ŗXiɟdN'LvH۹Vf+y^Mdyfe[Ybn7`2DĊsԮZ=w49# -]sɋjCl5Lv`'] T_XK˻!jU̇~mxV0Y%^ڔ|x4{ag$^ǜ@D%}v`Nh b<cAA u?|EV`FjRP@:\cH LVZqY#Y*CXvP(Ց&̼Gsb G^Y} GgYZ7zXZִF! ,]ŗXi%G65hɀ--IDտ8H /s 6mDvjOesl< MZRq騺&C̏zDV__&ɖ8 C!E~v3fOa *DBЄMc\'åV7 ->4wʖJɼܼzӾx)F"r$ . 9RIeQD&zoҿ}C %GS* 6rtNHC)tbbYx w][lOΩ M yoEJsw~hER"ףd=N=L6]JC 0> 2XM F*9xGlӇ$`$m35 J@_ΨJ 8PW- zo$YCX2JVAUOF6FZSo rIVV@Qַ~Amh+[~ -6&칙0ʐ%L? W<ϒ(U!G`愞xMf#a>JSW[oﬗ? TQ: >=YM;T~ԎZEJMbCs:Ps_z+Bxicjv"v_Z΅[WAyV%Hx1U\hSrfqr1۬ fLK ϷߥOef'^jWOcU*r{rҢ@9`Z;Q1tQ2,hy;F[ZQ=RqսgGM(ݛab}frZX۶ R:F@CS,4ޗzQjEypĦt, JaKt1S\^?HiXj}Џdeۙ1ƻ잃) 1+AہgzH $z2>)DHԴGM){B._UDW"Wt 1&ٚɮw?\ Y ̱gYZ9a02099ca4bc43354571aa9419870d72eb36456a685a311797845e45d1e0e94079c226b99532de8d ecda265f0c10e11be2e8ba52576797c5f2be44b5 b1be95cc5d2ed4216199183e7ce14764db6a87d5  IOA