SQLite format 3@ . YYQ77Atableisabelle_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, "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  r+ ,, S/ Verified-Prover:threads=2elapsed=9.561cpu=12.680gc=0.384factor=1.337zXZִF!  ]ŗXf1-/6vR[w?q2F)4|*[X\>!~&YT̐b\ߛɿg\Eˢ{9Y; 14Hd \1~ꁨ:&X3;ѯ l{$G¹ E5L0S˽גZOkJl+7VW%ΆG+R @Iĉc&~vg3'9IUB}Z@ 8J`\JbpnHgYZ7zXZִF! 8A]ŗXi%6yN tZG_Q9|qR5kn, =)1wu2/ ?8$+MA,ErEzbHQgFqgV۫|j4ԗFD/%*2Iōl6.o{_].:kA'(F$7jL[cM;ݶW6׃/EK l {H*qR# Oր N@¦.QȚ /ρǵn(@cσ(v嗇 ,{)5#YVԓBfJ BK[|^΋9M`ֱ; X{$^k"g; ^ZRaB-ߋVX1Nr>1XtifR+4{nȦmt}ͻC AkYXҲn&-ϴCXl>d(0JkHyLD龁[($oDvVg ı D] jȑjfc?]Sm͉4j&PJ':G$pnzo:39qsY8PU_Agn1YFn9gێlhL,00^tHڏ4/lm85pʻ>zDqtKʛ'"Fm&:WAԨC*C\x^3SdK)=_9AOayDWǝJM _,hd㨳J˨P) (3}|o4 9|$A6B˂r2~^\S\"rdaь1.>bO ߦ\/ (fK*t2B>l}2DNqj'Ov(=<_ҏʄr[Qo4|p1ptGAgYZ3e502dae8165fe3b7725713f0f4a35c31a9a4cd6 892bbe0189a23a2e6fd96fbc3ed4a7929b9205fb cfb4fd7da59a6788f5773633c4ad67b7c70e5d57 dbb51d4c6470972f27a73e1864c54a1b39ba98a0f0df918d4045ad6c60b23213b65e87e41842eac3 28b0b14cea5cfab8a9e104dea18417239d359f24 + Verified-Prover