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 E \tt ] IOA:threads=6elapsed=6.877cpu=30.788gc=1.196factor=4.487zXZִF! ]ŗXf1-qN50^Xݾ V'褃)*%\i` ,;K5k* )Jd>fۓޯSb[1il>:f(Rhzlǭ?iw*sjNp&д2䁧,y~Y{b)KB L<+̕5 ;7=%x>1ޤ p/gh%G>!V‰2W❆{r-R#Hl[pt¬qgi5#QwB&RͽpIGN<+ 1&*If JP0YXXK_;98?ۘ*t lX/Bdg+~p6^]em/ :IQjbS# UN{s:A 76@}xJ"e'K'z$ Ybm-(g8O|gYZ7zXZִF! `r]ŗXiɟdN'LvH۹Vf+yט< h51/HK|֔!Mq*=0<ϹdlUfV1}Cc!mWdz =)]+ر~upʆ)+s!LC|v >> V Zs\"l C||Zl1щ :WW.= nF2-IJ;ЮS,@ ,H*U܎/iV'JM/|g֠8{ҽ\9pƱT-[͎`.cIT82LesETQ{̋V#ўm4*o aXr.}D#Mis = .xñgYZ7zXZִF! )2]ŗXi%BANHC@"9Fzbwɹ}l6jBf!m/rsF1NE"8NX1Q먍o:7,BAR_`.RE ZJ#? Wpߺ;^^&+o[#J[4?j1#ٻK')W/Lb@텚Q,1oC$ M^r# ;X^V{CnJ$"A,O 67[!U觬YYvO̎.)[jԲhz*Z574ftCwDyV.^ 9ZnA5'U&߀)(VU4pSy&}l; GvuCz Gagac:Qc w)+@s#$(Rh c@ o:hAomEwu_Ef A.kePEvnCQP˟#C ?PX1::/C-Oetp]a5bXVHL )5hpW{n[!F$聅m֋k^ֆ(]o8c -x3oqk{5 sMtyL6\VBKBNڄdii[L>ַ7>G4c49 O7|4gՑV;jc]V`n5Y9΅ackצ:F*f Ev3&2C`, Wv!e_/?-ۑrH,&"{Ӆ Uoiކ М]^KOj9|+JM=i=XJ12{ytI?(cESsPk[&?HIJ_Zm?<9r 7M8q 荼32t+@`*hg^5|: }p[q5Ѷy9fhvut2WVҖcoA'+qxv<>/sS.,gYZc2eb17586b837dc753a87ac07c218b6d8c141f652a371cb6b3dbb4eb2d82cd405b999bd0c7e27ba3 38b7c607f9dfbe9734f68444cfe618ac34343313 33b7e46b11042423228c6445b2ba796303e74835  IOA