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 RR#% ,T ]]Graph_Theory:threads=2elapsed=52.757cpu=97.656gc=5.780factor=1.857zXZִF! NN]ŗXf1-/6vRZ)yqFO[~QOf>:ﮙqP*VX0GGU $r)}5_5WX_KC8>=&oko([$C8:?؎|fP|-`YҪte.OQi8dTu X&3;ov35I|~2|WEeA¥z&(.R'GBupX[{Q;4֕Q쏍S4BZ}ikzeʍwB?ĺ&ZBÌ-:pE6[v.= P'ǣByDt*~Uk`_ʅ+x8Vӥ4"3\ؕ4Lo[_m!0~{:/I!6 R̖+Wϣ+p"c@0 &D<0UqMŶq퓇)#HS!I~ ! 1'ܼ{nҀsJjsD;rf'zv=D|a੩B'fnn;NqŐZ_`FtA%E"5Cu]SWxǎ$;л%I`Gup1͔bJn 1Elj cs/Y@~_M@H=QkȎݟ*/cq3-eyj}S̰j<۶ZP!3:u:IAFlqe} 1vmU T/H#4Lܸ-ƈowޑZ@./#i6%L I\Tunuo%OϜlGvq;rK% L>Fqd тiϝ"7o<:!QN5h5mO \X:Aɡ!YR`~*kYg"ꅙRޕ_~va>(ͥ[đFzq]dNPUߑsc ? }AM ;T/,?0ku"5Z\J|p%҂%H+m]zI[̨4!e9 j\O2SOy8^OI W5Z0}"(%7O49h;AQ9aqg_.IE i];8h_‰s'0|kW]$m8G>K 1y xuC W\Ge-z2`[@P(W ZbgYZ7zXZִF! 6 ]ŗXi%Wm1pWd"iH#_}6|] ϧd'mwFĠj|;AdܾFMFe*4=`L;O{[Wy\˗p?2=^x_DE_WX1# }QqR~nB ?Y@i2cgl0(}/`ɣӰŢt&Xi{o]k >{ڰc9^~5$8DTf1gT#ϖ nл (-dpa@*`%q +ŶαDŷת2LJ,lQKh7'Bf@C{;*bD+ɏ|>ɦKzXd \]JjpfIƴIJ cq쇹?upAw0Y,e'w* ;LMᢉFzU0x!'}$0Z97͢ՅJ&e#BPfمpcC9̫:D7qLʞMl0Zv:yI`DLc~ v(J;FժN幁1lqi J.C:ɻ1_Î릫s8> fK8fr/x%2iÞz:H=Vh$|nCCtnQ;a$ag5l+m5Twq4Υ߰3*X*0ISUD%oѹj$ⲍ֜q?K͢ w͡df-C\uT}.?9V aF휥Fktw 'Ǝ9g  I 8sF]&k:OZȼScDaoz_{Q ĸТeX ^G2d}owm >k!ޙF^np qsBŖʾ=O0vai)<9N xe$\Th!R8 Kڀ3B!9vtG>ZpJ~H!y/Lk7$͒ '.(/ K V{~!O˲Q(E8pne`Wl&ϋ;A(ZoFRD$>{⽿Kwoɼ8!ptcBPI4 ݀f)hH-`QjoH+Br6=^Yˌ:wnYYRWb տ89,EE| ĥT3U@t VBgԓ"g ?Fف{Sn$JbC*8.^޼5.s Ki%S%F{0˝5P#L2K9;-`r0ZMi.W پ%&WY0pf雏-{cyIfE%8F!DHXOGiY&myZm׬c'&d[I ;̮**Uv-{,r#\~!f9FAؙEרT| K܇+nt2? b`ITNτ|ٰ;ٽ]B 4PCE8cw-%*Z$'bk% 1-*/!@Š51+W, 9b>|5 {D9pӖ5T0MqرQIJ]ߙ~NQm!8oWQh@ի6+Cf}e95@O>sb/؍s.pH~b#Gӻ6&ihĄDJhHY}2W9Q9E\N|k@h~yY5EG gU>mFkqKv/m@U խ߾}Ml8VnbtL<z".ËL&ת S@l Æҟ6Ȫ7Ȩ&KzWB1Ǜ#wO7[͇9+y%OD燨oRK>\Q^q~" WbD̈́URE-MW_Mk\Tfb.ċ׈g*?iVlS*m㺮xO2j➓ WAT |w׊N^5agT8m{?p {RIYeu TS%Wh~ffGѻ0Pݜݡ\F^?W7 YNVf!g #5jY^߼'p]M@3<˻VoS!exyz%Ў{N .]׮eʢ,df L|/Ws?d*.?dl' Y! ;3djqo ϥE:HLӏ>_|c2/۱E=_)"ix1ϫ۞mX 5s@Vk^f5tʐ wbZ$n E~ . q-5[ o qL̳$&vW8ʿE 5 ,eN򯸻k<V˻SwΝimst4F|l1_y–S/7JvDt<+9 G9na힉XC/iʐA(etTH9,\g``s!/ ddάEg!M3)gV J(>ǧs˿Z+%$> sgYZe01d80487859570d539a97d9fff7b79b17f36bbad6ac031d3e88d65563eac5f02a097b7a1de9a7e3 ffd3c2f455ccf76046f1a522696b8fe123ec936e a6afcc2426fd6b701d456a4f4e00addedffa6cfb91cc7dcfb89967f21764ced08ff8cb7139230fa7