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 WW&1 | ]S HOL-Probability-ex:threads=6elapsed=27.362cpu=44.556gc=1.164factor=1.637zXZִF! ]ŗXf1-q恈wX82Γf^en_s9@mћ QKQ1dy/@E~ݗ3N"a0[A+-CA?,pL >ƚSD5̭/08'lԚw0-qߐzU=VYhFuֱ[Uο0 ,tovI׆V]c"j˚ au9䃉#-`#R %?fF:DE(3I.'ft'I)%]YS3BЕ ;NӶvi3zܥh7h8u@^}B1`v>P8V7~Wp"$jA/qY`TJThgYZ7zXZִF! e]ŗXiɟ11?E'TSݚ_!}M >x.?7ӛ9{ $Ũ4%1(a\J^F4NiR:Ʉu +>-rApgYZ7zXZִF! ]ŗXi%9,{}3A\?}{tjQh 4Gvx"vd ; OD,,6|R:i[rY>c⮀",@K-3^XȊ&_”* l|0p:C>$'4\1,)iJpOzpD>cVb[:~B̡`DL Kܛ4 6s?U&yo{n+hD;i0w%!a%RJ}Ƣ"8k&xXz1]|RT=x!ł{LJMK&ث;  vjk_)RT. ؘS.KG dtq^r /HwK7_Ġ__Pfz.}[2R<v"E~ 2KdL~3?l/uޑǯURW֫G,Ap9\ž{`r_'I:4P]gOB٩|#١mugڌ+`‘i/ 73۸ qCBh ;C8Z1}ȡyhK܁(?j9<6C]B#Odj8Lzy^2J[/XqZ: 4h u;INec<֛7RvpͩL#90( -HّC`{)u45mY ]~9@l }'JgQ9۶Rl/r>.s贾HԘVK,59ot`Ff@>t.S`J PF9^%{[уItAb簐(ׯAuǬ<a#sRzA&lWiP