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 ||q1 t Sw HOL-Probability-ex:threads=6elapsed=26.295cpu=45.268gc=1.140factor=1.727zXZִF! W%D]ŗXf1-q恈wX822*,״ {2I[R :28BmolU!"H~Jü(JSNҗb.B+]]D-߅*U#'_NMc؟׻R3u8!hFYY#O8@=QU2+ rq%|?tתp0_9/< ~Q@#P4+{4y"6j_ +'WSn=J=ꘁm슶07M_鏍(gQ-Rβ$ryj7Y٠15|YPpcSS딢I9^cwVl'"yk.GO&yy@|OAF緔v7 1Q.Mc" c韭TpKY`Hнp-؆b{3WcjpHF'T!Rܾ28`i)G/(a:Ȟht- =L/e{)gj3Lg>0n>JW&Vֻx+TQC@N*{d]huD&FI-xX6YScgؔKQKLX)HQ u(2uɺ0i?T&0~e+7Bv'avwF0,:9BNe1zɈA气M1ƑCE;loI?΃\3Nz *a7;anʨL%IDČC0O/<\ݴ' bQi2EzSCj|ti<5ȯx]š?|vK~cK-CLٵ7%^AE6 ű{*k+ ;]> %gYZ7zXZִF! }5]ŗXi%Np(7|3ᔀll|7{Jޢ2PPGܸ--p:?u=C俴_ΆͤI.LqJjFcTA82^OH2;]-b.&2Nn9)*pȀg 1 I̵8jy<[%:MEpj \ %1+Uo]luCR׈E~ kGkphnĝpR7-|,S< 4`@ MY*+vA\9Vs>/JzD\QUd? &jH_O$,E] ̪ XcPƠ(mc㷷rOF]ĤB`>pc4g$֊9kW0$ENT.Jܳz!Dw2 aj`_6YK3c1.ŒEeO,ȁG*x:u$̺ L{r"Ci;7C豨-|ǔ ?S6ܑ")+0aIL#;EhZ65拗,»rՎ35-3jK.ha))ᓫ (a!D[O(c. )ABS^XY@%V!G# m*RK)"brRP]۝Ө~ћ'yW=,\z>ĦAip#ѪrByEuzdU^!a@C5S/U ĭXY_Qe\9U#Ґӛg]Z(o(KbgXaYEqauʄE_TTܮDy 36