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 >>' |l ;/ ZF-UNITY:threads=2elapsed=23.148cpu=40.176gc=1.636factor=1.747zXZִF! L x]ŗXf1-W_X,=k=G^v :f({yyDr# 5I*ʯ*FFBů޽HI턒HlbYkܪgx4YMT}JK)6k=hi&1ˏg /,uvҞ U>9I]b.(,+/NV9jT@2Au>8FC}[!CdJs%CyADG`zل"ņY p#z8ݦ 14LJp_ Q )zO0mvB1b$I,% ]&i,>yM`5Y9#$5c)$$fU.]Is U|n0:E kEI1kLb.h64ӫ5NчB)ʖĻ[&bgL8hrOک8*3qA*iGfsw1<֦^u>1xҘ_yUԒ h}"?<'mCS*p܉bk5E]@ U0dz9OZ!}}F$‚ɳSru@i1j?P2I*B緸NH&ufԙM~/i!R 'fg>ZSvNYtqZolW@l,ʈ 1?.˴|WCBWm^GrERJ*jܬ@k xZ?eCeߛ \gkYiQ&iE   ZF-UNITY3RpXޥdǎDuǝtZBp,uyѝAdռjR B'va7c(0wI&j1 l6z/)7Xzu tmC{TMUxѸ,F]|S~+Uo?^\ *z`*Z:Kod?3?ʅd^)KQ ߺnӝ7 s3(Le +%>_4qSbuE~y3^cdDs+$mG m~7+(L~2ЧUj^Ϸ%> 5Y߁anOaaKEvZӢ|x-I2\?E ޻M$~5pZ+[tCaSݵ\HZAZ+^[o棪ѫړf<4^=@kk+A!Cc™7w؛g= Y}{Y 8 hҠ+Evj$ .:9!7X_W@pf$Q!X+W)8 P8䪏,(d8dj4>9I~ OA`B֟F#5M̤7p=@ckr8j]P1PY%HihGN5P}+)nP/٪q|qG~م8yJVPp^&ѭlrp>S{ k^v }kgRKkA7>nUnR1ҘW&~eBi;x(10lDKF {JbKB/ xR=z):֥՝|R} H~#cҳ{6۪]u{AN.&F*j1M81PvGЍQkyAv#f0aKx,5rZQ[AUȹҥ#X6 xrvЀFtG֡> s V/ȸ"]t-CPt11-/ U/_>祚R0/NơTզ'-Ơifr-MXa'58ņg/#S*^mJ61Nľܑ\f ʵ gru(rx_!/__K"7z}e)|Dh#Y4LΘQ9 uVՑ DB%6-vQ!/v#y51a .[ԀW8=$:1֑Ti;fۅi9God[M@x ~ӨU4qK%^r Bd#??r V%h5}XuF\ `6\,BMVGj?fˍkΣ #w6Aϐ@)C~L}LWr,kA6 Wo/T:X`qPeS5:6U}Uo.kxYĢƁу5eϼr'EF7>"pFʱ\{- 73߅XYDPWmD$9"=hNx ^HՄTVIgF]UWι6aiy d"\fmL; A?Xc?mY~?W PHS}ck$Ƃΰ\^4X:,&G\m% J~O L.73џ . "ӹ{̘5u1 ]+맋K2{׭5 9Ox80 JC]^X/{{)l̐8Drţ_fѹͧ#P X`z14kBN<=mh,0ɐb}a=La5R L/Q_#*0.6^9JME [C- 7kMm'gA0Y͜`JjgYZ7zXZִF! lE/]ŗXi%Bl\RoJGau+$oI0޶"=Jl kiX$T6oNDL@$}-ExP ah&kkH.T'=c _Y5i"x<|=I<[ԓ8~e&\v`t;amw'JE禓Ƀٿ|_/͟-pGYORJQ՛ yGwȆp!-\3+m1;<8GSFMޒ7m>T:`8@Pʀ?!dj7f@٪Znk#O/ wJDZi#B]g ށ *cөrJxdxQnrz=r|bB˧9d"A<LbdRP1P'+$i,H,*|I&J[V `2R3id282O @Q6n*plwq nn}Fʹ8mMcHn˩Haaf~q[=>!xoj!=P^$ۤ˗r*K@fTVUW.v&d/ M{sRyӲ[0t Ҫu6.2A{vUJH9d͋` YqݕJ$X*BnkLUsWI-~>6޴yImo(d)Xq, Vw!I_0V>¶\\e41-o9# P+a?$OTv"g82D_2z|Mfb| };qʘ3IEה\ai%f:ܛ@uڙHy zĐԎ)aon}?stBxj7y8& 1'p5 '8׹Lٶ/0o$/vE_kReLOmM_)pu=(A+ԞDtF9'loκٗtX)#i(۲z.ώ85##_ P4OY f 3,lPܛ7=9oEVCNյST}E1 =?Yh'Iu`K4Vg'U9*{lBʣܱ