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 U |\ ] IOA:threads=6elapsed=6.933cpu=31.136gc=1.180factor=4.497zXZִF! ]ŗXf1-qN50^Xݾ V'褃)*%\i` ,;K S;jų/9Y*]|H$^>Ndy$;UK^!r7iR_<<kJq @tݲZD_Z3`t҃vG-RBusB}2 zX܍#0%ɴ"KN'Pv '˂t,>)EH-ta;%.k1؉s̹mV TDuUS*o,0&n]EvPn:*AYn[ ӡUpH~WZG>o'mPA7zCO@Ʀ(x0GGȦs~3,21QX\@hبY.AB,On}VD@ >::iri8sQA G+bAi$s`Rޫ3,EMƧg8tx!G`]9?05%ADgYZ7zXZִF! `w]ŗXiɟdN'LvH۹L}FuGK<2~L8'\_~=NƩ 6^ëc}) (5ҋIzG~il+vظ@rz2#n+W œ+TT"ZrZZ4H2 5WT$rM)JscQ[-d2uFlʛR欋 s3+{D~06 uߕHacMkQ~Uv?ӽ~Ji]F. 7%~4Vd „]PQ~ý+Ǫuw|N& +DEۈWj kiS|gYZ7zXZִF! )&]ŗXi%Gw&?¨$mB A4P9c9QĻ:[W?RA٠1Htv. XvM0| l 91r򌀇Yafu4ማCOE,9|^:Nk|i:v>D-XBy>$([sDnlwLc Z=2š,Kp尸Q[#?NG}B\{<` J4Dq}FDԾYx̣~p w>Wvp6؍qf`NGiWEp#6tpE+Rbu$L*AE[g"Z@wFd]PJ˿Kغ![M9Tu ~d۳Z(k6v~-e@נ* 7e :y,hȽ"D%m!P7&8P / _+`lr)}(L&350 3Oyc]}X'5l}$Z JHvܝ-O0"Lg#ViZSǖgYZf502382547d7ca6d4dd5b7cd2da4888a39402a853a3f17a4e13c09032ff1d9490f442ddf7d03ef10 4c8c1f181a77f6728d263aba6fdf1897c029c916 ef65c276ab6be3755f1fe2c8a0b1585690eede9a  IOA