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 $) \$ ? HOL-TLA-Memory:threads=2elapsed=11.227cpu=21.792gc=0.592factor=1.947zXZִF! gZ(]ŗXf1-q恈&5v)w3X1sNϟ_&ԥl [$1ΰ IqD'cEn5.mg 9=ʾ&~P;#g?SZv4*' qf[p0ǡroPvۘ[RsV|XĴrzoB"y[# 91(x<*1$~s r")r[kӍ1WmJ:5YĆ԰n5(@eZIO=+06]V(kЬmqd>cf&˿$0Ik%R)m*=5w[t$ƽ9~JQ3wF:s<:Ak=e'̫y5ɤaX.E.^b ^Ngj#I Cpab%hȡiY~!dyu7=#,=a+Mo~ԩ?^S)~ܤT~ԚNge 9g z;(@\."%0M;Jf*^sI! oZgkd6%AWr.< F[<(QMNa{`3c*A7a|u;N;WQUUGH"U>S( Hjנ?RΧ濸, FMx+ҙ~}P9XlQOq:_o|֠ed^6)J)PxPZ{8 $@QTR۱√n7|#TI\|nMKY8`@B@lw# Axk3$4_1[B!PKK"t6 K{ND>\)0`R0 _@hR2fozSJ T@J߲subCs6mԒͱQp ,2`XҌm"竿b.һX&Fv[}\vG%2)gyp,u6ryg8-(ln}LWS4̃X1^GS+#iLp*ՏQT.&i&a*#$yzEEբG'-% kzIk7" 5i%1~X@0I욠ۧ 9cgYZ7zXZִF! 5 ]ŗXi%k= Xrs0 v5 /GQ⊎G/iaאǃm7~HE:SN|~!\>VS\^q7L!l3B%[ΟbN)Ef`l 5m%jWBr2v9!fT' |p`O&xMncxTơ[Fq)?̿A35AHByFmXvE {aiS,+1(cXI.!@WE|&+IoL4`R:3"{Xӂ*vٲ?g:o&t Ƈ^iEon6t 6!i%?[T"ϐwm_yH3v빦