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 ' ,t ]S HOL-UNITY:threads=6elapsed=18.925cpu=89.496gc=3.584factor=4.737zXZִF! 1"]ŗXf1-q恈r|u2_QM' 8əj*؀g?ǔ;FSC9Tc30I: Yy6Bލ3)"OOy_m x8#0p$L)\gZ/TP Cp lFJE*S!hFPEW=0?=2 Q˒D^} |Z/3tpƼ/“MI+=$A'ERq0!_n"o4%T]Hm&gW򌂿؟ϣMw-?AdF6>W\9"(8\T>WOr95[i`T?ߛSg[,a{8%G@#0EtFQ[d[靐݈"YjpsՈ6d{㉕3I' p]CUFtY!,Eʤ HvuF˚ $|x&XKÌ4⬭EPVQ,.]%rf@_V:q{Ȋr%LOy.#)|47SkG>p#լѪp'ګN dxE!.΋F3Lmr1QS8URt*I *;Q;8ߜP=6 McZ٨TZ"&i_ n8;;eKգȀ6O'ADh>RK!狟/" v"\}zS93Kl栓71 HƲ59%hE 3 nRL4s `tp/`X)sH{@wPȉٶy|e 3E"uP87GF5# *(%g^u2M)}?S9]Jov9J}"&-)]lˉF}v!&kF E8+S/>Diyɡ~{0Hh ?ZSGF0sёwې-Ӏ&;&9[H>v sPŌEG4_>#N rSQܴٻ6 +ݼcO;k~&Iv-O#}TkہQr mJ/pV2lK;XPV;0O^_f-KPrx8` -#X|SWTY5sR2cQkZ's?+}Jh.㯅>#뽽ǿQ=J@ C=jZ$02qVvRt!*M]4$!:x֫X4kMFfHDMZ@ivlD/lVo|,\m a^2c EMX$41pjPE]bwUށg_<T'[ Te [KڛTQ@[Lӹp]xD BpN2ThŹW>!-9o%9-Q`"VSґeNȲ~=ubF$z2V9 .J5m̼1|:E+w,F0u"50y( #;tAD\JOaĔ. кE:mf8Nuj V'~?0R=B9,f%wjG^@ ;< q>aj`+ 6IU^Cc,IG| `_$d G6}x뉣JxpfALTŽ93o7LHgR]P2?.B<Q/̇.@v7d (!Y$ǿݵw$LՖ@ݜ#̄]_ GB `Zljz.OV eVtW -N? =k׋ypQ&jP=GQoaO eNN&m_uT. .F? J@tװݤTw يyѰ>Q̡dny^cyi7C[``[{ 1n۾0fboKyuqK$B:Pġ֭:vJ0z}Ρ͕yхl88 oR<=i_<ޟ- ܥ)b}mzǡ`Id&Ol+MS?'NCkV5r$n?e x?V$ 'B5Ȓ Ȭl3 vP\[Y;&ۨJogV=2ٽfwG'.~ϒ]t(8)Dw-YR}DC H}("#G?= 2f H @)>;T{[d4L8Zyc9O© l: A'Oaos}ٴ~+=E9lATkzuQλ50 eO6}iP{$gy_I