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  1 1D9,l\ ]% Koenigsberg_Friendship:threads=2elapsed=58.119cpu=107.768gc=5.476factor=1.857zXZִF! 1P]ŗXf1-/6vRZމUaHz..pA2`-*5",Z l{闸 ;-XS\]?Ǯыި F Z4lvReL7e]&AwFiΤ$ǜS\ OryI|x&4Z7w J+>/aWi6|?_6D8תM39{M #w艩 z)ƪb*E3濛zJX>j^*QxKl6>g7:0It>'Cèus4Հʦϔ?"e#lMf]cYm.ee CmS*@N~OS\euRm2"PH n&xllEM)*B,)Rk/=XoءN!6QȊ lmlPY>Ǣի|P_GAe7,ɓbtT1NK$=eFBZ%F\zDMۻ\99bT)[6/W+J@Ep(5м*6>A,$_E*HgY!QZ E 9alQ_ceئC7WٿTjq{;z\;3U ໷ S;gWWR7 2vxEiJ&۝%=7ѽRƐfJfŋ! 򉛺ckX`498nl smqƛ>=6I=Sf4=ez Jl'![<(j}W[\&N(dYwsN-PM ]ThD()``h`O]@(V8ܹzֽ)Jpuqݐds04ڈ(RD'&| z#jlR95֘/=snrHkDJAО ^"U:1 HYB(p$'?ݽA#p1p9w`谬ܟS/CX0m1zУ¿`tKp!⡇y`$l0Vc RgYZ7zXZִF! ^]ŗXiɟC3zto?;Qŷȼq,S6Nbe=9 돹 #Xa 6nU'brP}W6ԣ`DrᗻAM3-xwu b_V#x\G?V զrcV>/," d{ 9 Koenigsberg_Friendship3 eEagYZ7zXZִF! ]ŗXi%;9+9"iR#Izy1~2{D<=H`^/:a=) YTE Y1Gitt1eQwh©q`kpDjIی.s-j, BJBf~P0ccrPSP5&Ƕ<țV[.='2-uVvѕu3[Oȣ(i7%ΌJn7AgtDq.w; qYJZ}="Q-#};fo&J]$ZPB#EoOBǨF]߶/qqTKۅ->Eay R9Yض8 o*k*1;7~c >jP.RNrMp9b(Ώt$qPX2k@|%Y佫SYݭI *tp&O1DoҲMZ(h*ղzSP7H |v'+6qCxX[+.?p vRg&/I €J-2ty.lr`kڞÑvpG.)>WěmJݾ>hkk\THZnd<#g!2z3X(ꢴJTޔ>~%/9\I@ 5Oc⹋H4 Q)22[!MФ'7dM4xQ }4m ]}x07}zz6}UGNck"Ji'a<Z tjnbU"q|m`#yy RKm#3!ڢd}!TNa@Q SO~sdzdSs655 3;!>ϗ8Pp뷻:(6=hy?qZu"dˣ3<&"n=_b(PuUYYc@җ̝<[o0 B )C۝gι,}Q}r-қ_cKGL{_S +n[饛DD&.NG ETw6Nv{)f ]v `yJ ts^ TcG!4㨩>9*^ƾ d D|7CtfE7qzXu!v;0$0t04`O;W1~bTH7puʾХ0=dY;2K(vzM9+b8 gf5xW,'|8>jEfsyv˔Ƣ0ALkޜ "-3e֎=n%+S!v[Ɓ/Kw&E ="ø=2js e3iY>k?ֆbq4$o%΁~wx.;([1QG1/}tg4 >KnjdViT?FJJNXz%.g2vFZWR㧈߃.D'6.71VZI\q) ϼUDy*AfU%Ppsg¢IT Cԉe t70y|"^9 "7+ ,55p9*)=5 PϿ !y+Ck7U=O?QkD̹_D!ˎ1Ҽi]:Ȳ (.iE %8'Y3F0 :6͔-keM呖 P;g&t+G)}Zf)5?DR| (\e{t:*3 ?UGIx֎]⮻J\aԅUlSTS]8 OF^M׫WsD8zS.e\#)xTׇn,bM[A۝3oZKEO-\P?fpf yyfBF]J8eQ@7>PqbUNklqM1pt~),_x=g)''ΣMl,3rw!%hF}t{x_g)`mHޗm{cZ˂BMceX7|O^yrA&Ք51/]%++U j-z$֐gYZ9cab22f04e5469e39f38bb11f71970ca024e6c8519483222939fc489952fa9ff470a43a5bdddd767 6fb5181067c76ae090b98814e5ff8a3a2ed813cf 05722cafa430ad5d32034406e0ef9a6274c6ffc0 8386aa35c465c1bf7e052e4c0016ed8cb4d6f45f 39bd0c9e97c131f728b85fcb4ddc78156a8aa444