SQLite format 3@ - llB77#tableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "ml_statistics" BLOB, "task_statistics" 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 + l % Secondary_Sylow:threads=2elapsed=5.597cpu=10.380gc=0.288factor=1.857zXZִF! Qf]ŗXf1-/6vR[]\Rǁ- 1<4OȱCMgWMmdE_8f t3[W;d׃.+]m3Yi_&ɜӓe"6neRwp)qrxZ ΚWms1t~e]wLE $L@v2[8(z^Xe K%5QPl0<@-fڢJ9è<A[ϫn8p$#gqU붫|?]$zMՃdRoSF:nM)ݺz9Cz9r8!O<#8sI^PfhD:ow]F&b{h9Sy.6m +uH|wc@4Cu. R~u¾zܽCMV[4" Z9 yFΏyvU5F9fx-ݫ+֭zDxۿLQX ΰͤb3uŻ/T"n.Ob) 4r0XY3dz00Le`nɅl y}kNk 3snӳ(]GM[{pĶ~#PbYvn׷M[Vr + Secondary_Sylowz `o9\qˑ(S Թ߿wÙI2wͪO#:oڮoc2ֱmyĖNjO~J K$ PQ >[ I $Vw!ĖBhnv9sG^pTdmtZJؠ jwM|(hT;&H[F^=h_w-@H/xJTV^Dh~Ş*6Y5^nTc/W$fGWXS{[挀E G.VE"b6Ÿxm@cêuoE3]0vϞ aē^]S)K9@6@AzcPRL|F%ܺgu LF";;}_e3e@sxy%b 3ϟ9dV4`LO=r>$& SN*>@ ˘ 2xg{22na1N1;h>LUZFWcbREWe5]i6ZbvRcTdgb:{J5/ϯp4,\X7t$,={OMD.ߒ)&[ ԇ'ɮMEZ_wVNݔ0b1Eh&s kzıۃSS,@~T/Y?_>υ,PYQۨ C,ѳ%3 ܐ,_&\h g.NDO?&2  EVK}FNL]eK` o UgYZ7zXZִF! %l]ŗXi%[J anxI.sVb/k0,LdޟpV*`4mQ6W6^Iu f\1Ď_E~Y?БD}yG}ܸ;L .#wϓhoVTɯŲ5!V~4@n7/s5dF [cs'|;H=x1Rzm/.uN ͘6@Jv〗gYZ0d4ca91b60be9500c90aee83710a5c32b25701d8 707f7081877423ffbac6d7d75ee7625d5f888056 ae806480a02f4d76c632d61e674ba4be42ca4952 c6d33f696908642619028f80d5d7707602192bd8 cce72edfc02a20dd206a2409c7be50875c5f19f0878527395436048d51bd6287a500d1cb05dc0aeb b7f78dc5556061cc8d808a0347899300b2842457 770b0724ec92a2fa88f83a40381de2b0000fc1ad