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  G+ \ ]/ Decl_Sem_Fun_PL:threads=2elapsed=50.548cpu=83.572gc=4.664factor=1.657zXZִF! -(]ŗXf1-q恈͐7ӺV ༂Mb0v9?cG&pkj}P#&g 4M,n[OGϣڵ,)(mU!pZྵl;BA3J`AEe_>vi+$x.g͇@C8pϿZ/]f0A9xe3# qal} =Z!`}ڪFv-Zv-4yJFecٯL:m-%ܒ9FsNV)Ce,CA&9zadqb&O_;fB+>aÅQyNjn #1F)68X.U/~RU[e2ၥ+֕>z>|pbA1Oϳ + Decl_Sem_Fun_PLu{#~7 NѤ}9 TRK2LS3; VlQ KH:`akN I9ԷmֿL-0/wܔY8 Xb qmbيΊ][ukUHO|=[*FA֤VA25*@s? e#x)TL@)/Jz xPcQvY|G(wfMjM ĒlOx@"JʜOu )X8~ySHNgˇ! ˷Uj?>q v;EG3`d5o>@CTY $KM*9$`m-@̤ f2DO&o y/$ g˱*%ۯ4E+ N8f0LDV]M)wT x ]vnf|MW ?VW5k'NEf L#fwTB bzZ 6Pw u 2HLŁfPi\wΖa+ֱ"m,#^?6N3my<V((eKhk ek}}ˆ\٭G6tʝhK¨Dc6!  (z6g0۠@dͰ&-~ERngjSB7D7Չ{02˰=ECA]3azIV15H+4[ F ]1sҜ 5dl޷qi/Y/OC@&8xr4 *R;sY1 [xgYZ7zXZִF! 0 ]ŗXi%6f{2O5 va|3KXY\h3J̊qZϺ*pO.Iyn8ϻI ^h!傩dh vEk.CЀ'aG\ԇ"NNy= -!c dJ}WbXZFcH)cae+3թc'c'b1 (PK1HQoԥL:K 5&P!ɱ#wY.<"PNaX OPMjҭMJݓ9G4:IDyptً!rzcxEM5Qpg\:$DYv؀^'j&,BV٬|)P[!9XgN`5ĞX;ٌ9c98Gш4).D ma6Z5ǺDӾsMeX'JB?ȍ0)6U#n#(_%DWfE2U'N\ #3(v쿗0;q|/"K&*檡$hE[Tp2y=cItr e 2C5"PDAZ!\_P[ۄQ@0̄gG5?xZ/PeSbp}GS@at+НzŜXܮZvoAmt}Zq6_b6 6m.^Jb]..h89*g6[ԕaE*K!S?@nvƽ9M޵ϼùU@[/Yk].Nˑ[ NCɫ,=$40x_WFz!qљĬYHz6:/od8 YͲ%=`t\"AxwQiPEBLif1J +H4/<1 )9O&pJW ]r,Fq̢ M@:Hwtsf*SF%gX!((֠H6: "uw5|2;X8=C{ץ,\&&٩t%3ZkPuݕ/e@X q1on'UB¼H@8"TIMMSM*wB+HrWKLiRPp%;䰽㟑Σ?|1z6zKчȊ75׋/1(~uPsAcv. AZ½mV.L‘Qi!%7+ >Vh[u#䗇U7ov-RwV:&LUG 4)>x.${'9x@KA.A$DZcJ|Eb9e dƎRQihrUFhڠReM9  (V xS&j0?9^a\޷K>v(wyW(MUUT弜O e/@Cׂ:AsYxƕVH ̎S7r" 4xL/3Y-y8R*ăIg?JyҐvEXֵb|w]4[Jpvw3-o=db8W8&\m1G80|`Kۂe9s+hRyN>h43@`*qpfFѫ-~F Y4/ê]x"qMs08Ps8靃6x^A "ZLz)9-]ï$?sQWז:XG3HS;"V3eBN-ȁ_S`nF&B77gCm҉mF>,TIw.($6 ~ X1Z)0휮a e|j(胎̹-ǀʺ $^q>`L.?:`vs"'&|:y}\M?s,>1T3>:l}EvJa FMyJ0>lҀbGD: !Pz)BS+*mOh?Y~CW@K L)`%%>FDi $ЈY33-2jY6ai8Rʫ!ܰ3Y6e鄁18iF })NX&(Eô