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 ~3<\ w]Probabilistic_While:threads=2elapsed=74.938cpu=132.164gc=5.116factor=1.767zXZִF! VI]ŗXf1-/6vR[랺 }GNν7h1|nZL.{0m7j%F魌]иw` xPA۾_ VF}20Ez%=ұ1նs5iܳm WjyHu.I̡5(#YGUzSTgiCmqn%"7P*Us"u-! CwN!s 4g({&.>qf`J٪vhsFi&hKTr*jش;Ҭ**a,ǎn2@m Dt.Nϣ cZoi.UdOqOQ{'opkU.zY vma]EMIϨiao6߼〔;]"[{]Ƭ=g8EXؘG]R2Mh.ߡ8Y,bp֥ӾiWL NMNJ */nuUћdZ<Ogw8Q{5 *LqP)p[BkSdO<{nѨ>AZn4Z9$w1Im3 <~h!(X;VBFDoh)[)MsƏ̅r vUVi@LGLe}?}xO&xf =URĻ4zOyETMm}W8WBD G_F9tDlgݦaĽC`3wM6kQ3NakNImBA(d[0:l)uFl@P+:zRVyQEwuIQCH"ț?V뢘, U>0ï_GBB}2zbnXd1hIGyjX41EE'/3lQP CFuPq@Cc;go2?:g{5IL}[Ϝ ]̠r\9!eE}6 Nзf[^-; )ɶ8߂BpFW y/\(=uEV2=`gM (UߍX'_6<nJKyy^K{b0ėWTNex|p{:U_v5#ڋί8jHi& d3T#/[RŮ{WJs_|@_+R8<(c#t́劣U嫞%}bCeO   ʬJxgYZ7zXZִF! bZ]ŗXi%6.Ybkʨ6rU5 WQ3x:uMNuPzz٩7wkMF zyQ2d.-ё&N*>Jh%J,"Dr O'r%.1tD>n7Dd[JUy@ 8`zc]#KQD0QEn*(`1w}H{;|c:bPB6 .wIݱiFF4W.p?j&dql/2<7l$T~ Ywig 3h1YGj0Y9e`IКdE\ÊuU۠VKhT+QKSoI#(Qw.$Jig|i"i c#x*?ܚ6O\Xx3A2:7ʣϹf~j'fng̻As7$&k.kUbr ]S"+&pbGrզLt.NVϐdx 3 Probabilistic_While3Vr>Vu"l%fTb\m ,93bwAV.tlLɾh;|/R HM03Eʇ B1i% ̀YSk궧g !]B9*s;5[rĦb/G#p_ӠzhJZCQɧI@eV=z5*3:g"PL,?ʍ[sEV ̯FS*INO\Bd=4e``V~ 2WDȗ(Ů[Z8c$qG5ؔF/:4R"4pRʹ4ˆh6twpn.'3s¦;usqŠJf%i |Or= »bl9"jZtkkӽnx$Rf~M|B邅1+G+Qяl*FFh؟l1=wNZI *12>\sBXzS(87 ]ݏHg%&mCA/S mi KޤLW0wӇ;yj",!N0 @rȷcl+L CFh#" ^6˜Wt3Ov5({E!;|t&`cgJ9_c*ûbJKp8_;+42wKq 1;s+ mz9u3Kς &w`t0©o $ܯ\σ #Bcfv|GU}'^KvƈiLX ^o~d ,PBNCUbzf pr USJQlE`._78p?ۭ~\Qp?=x$TtxC?%:{֬&Q v|MvOPTl Be##"/nm&&&ߙLlO|#έ6{I<1'x*55塔=}VH8h=!2Fe<{*RO?*ǣ]0 Òۤ >Oka5R7Y'S)U}!a?])m9hlvȴ//iX[ʤ.ڤqZQ`e J,]H!18T2 Y[ 8Сnà%PT+5*Ӑy5q 2?[0ZGv-F+\!=1qFiy#w#RZFP.mL l1jA(7.LKs<3+H=1g'SH7P%E88]޹9wR7;9>Vk>2jظ59ҁγ9A'[M."6g_i~hWypH}^ˬ'=ۅČҼ k,s~\~?̌u=2D*8b)bmiL5'S6uJ"n~?(BȰ,_\0ek,6_D؀ )w֙`ڗ+_ 6ڤ)+] +R@k71N4oif /҉=^0=ZQAOgda Ⱦ\kbv`$ǫ(:^eѶnE.Oa&&"6>t*fҙy*~x'p\ܮ /4"!ދt)k4e{k"y~/!WBCdSjADE)GY4Ψų7E@J|8֦0)ꀉC[7\ Ѡ%8Imtƴ,J]DB:@qH综zfI鿭Q֑_~{Lap\' aɻl0Aﭞ͢(l4u=FpvJf%ZрHz 9kL_o7Tz,6mJ ̉ vQ b}gL&<@c 9v;r3Tߙ]mPވwd?nѠ,9kgqEPJ_ƞSY