SQLite format 3@ . BBh77otableisabelle_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 tt  |L ] IOA:threads=6elapsed=7.217cpu=29.556gc=1.180factor=4.107zXZִF! ]ŗXf1-qN50^Xݾ V'褃)*%\i` ,;K aO`m¦ybh: 15ZuzjXu({Ѧa5Wh͚@C;InϙR~WfW)jO-*zmo5VzRN?n " Qj`XO &H$a[(.<'g޸WЇvz<7&tX~wvXleWŁC1]3yYbgԙ+ZT?eVf@:8I\=׏F TV?Ij'Z1p IICS|H"ɷvW(ty\~4_/,ufm` J=KGJGAnRv&AT\ ~fC_'ñ}֫vn 2pg#[%#&ൌpCw諭z=EH4{쓿gYZ7zXZִF! `x]ŗXiɟdN'LvH۹Dvb9=Py |Ѱ[%ENS9ǰ`sޣ[57 Px 복c֪$CÓfClNקŠT+S ]X2`*JVMtħLt%4p]Vl2^i旭 |jՄX DBMZZGD8 '`[ewU5ZQ$#yjtÜO8̴km~}OhmD/#sO %Io܅ eIE7AmcvwQ0 kuέeG YVagYZ7zXZִF! #I]]ŗXi%;ޖmL \vo*+F*5ے}TKY4TE1fjY'>rMyJOuT ~ Ը初 3jNQUy&=tk1R=b9|ER介_;o3BH%I^ Xy>0E}wmLpKٞj"I&؄OJH⋋IR(aV^x wdT@zm(g%|5h6O9f1=[njHReЈ6}F, Kz|=lrM`My_ `)% N~4DFo3SH.?d_xOp*Ir|OwJK4>>Nfg QXdB8olr1kopSĀ?3vbW|vV/Ͷ"xg5>=8aohxgD+k-sƯz;K=zt3RxP.@UȱFc=F'bWUe*õE-/%W&^bp{ $fhf 0aj ݀w: rgG 3bFogYZf5e3b5c977cc6aaeb8eb6201ceccebe92cd31f3840d35f92060f57be7e534389481a5efb493217ff 23dce64ed4db5c6ce048649289ec788386d1a713 ffeab72e5800a26bbf18a6618450a9f710bfb5e0  IOA