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 @G DD| ] Kuratowski_Closure_Complement:threads=2elapsed=26.579cpu=46.864gc=1.068factor=1.767zXZִF! ]ŗXf1-/6vRZ'PGzl}+})p^/KN%-D %eխxeupg:lhj= +*9[X"/uji K+yo 9y8Aϙ4B3}N芾[55rY1(~֚[PY}DnD΀סp>*9JGt<,mysrFrp/ZsgV,"〷pi=T=I`VgA_>^~2uz#T[nY-:K%Beb=bEA#Y$ZOѭB .oZ5lDCdeԃ Wn`reF #zv^0L}YZ7zXZִF! !5]ŗXi%W~Ľ~XT'v EQ;"tg*2+W:+>u/.3}~ZO YI;i3װoedK0AY+"2xdgS4CP5J:BES qJw[mWo ;ŧF5ҳ> Nat=+lsNA_9H˽,txAC\Lp]oVwu [ltAR9'@a}L?kp^PS"yS7lv;4yZ9W5[t~1rGh(P*a lM#k9㔊?cvEF:GJTw~C.%Zu |rAJ Άqk>"(ݹU.0}m>P^W!sx\iIiN0qa2-LOL_)t]?1heoTA6N:풴!q­JMmAV+>tN, A<EF#Lu[両*L=]׊űE찣;,ϵ[z)L谓bsGf8J'ʔ*O`wmb. @0. tTyKM*cwN妟iX2i^Չ{ZnCawO:uK9&+`IPvؼx]W@s}e>BZo!j*%%*3?4S)͖~4O҅]\A`d![`EWgڍu-Ҩ[i֘U^d}B:coO΄2GW)WYp#o'ܻ'̄N<3KٳPժ_HO /9O4̂nIuyt1dub1ƺ\&--ua mY^VNL؉~2X 8ԥ0RKj# w)lMtUraA ^bfp/kj! K=v&陠ݩfR UR J 7@ 8{Ir9pJ[:?Ħ9qA; ~107K)_Kc:ͻՎ1Zޔs}\TOŀM_ $R3p6ScN!Mk)$OfJ-osrߩ+./y_H:Ŋq_#+̺<ʮlaë!Z680j붢.Q+UBb+jDgi& )hj\+uV=7_t̨