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 bb Lt ]% pGCL:threads=2elapsed=36.685cpu=71.036gc=2.120factor=1.947zXZִF! (]ŗXf1-/6vR]u6bk;_ؗjT>|={@R ❓U|8xsc9tԣ°LGʃiFC6 4 75B'qsnn&8~23M+]crZ囯RlRU)@]3%'TX5}nm PmV(ZpE*t)FztgO!M51?=6p5Q`}0> \|Ljt:~",\֙(c?ŴQRcl3LsWLtKcm3cp4{` 3U?N½XPWp[eh2cf˕<9kTVο&=")"|Tz/pѳѐ; Z 莁Ί[#I!iuCzd妮 H#)B2 :qM2N W0])|Yߖ N=<?n#} e/ųr9)oC\6B;UH 60h\ltň:HZ =-6d=1Oa*s."RTɨX 0o5LɬiWđy's/EWz}xBpu*E%)yJnsR<|E{@i5k2.C81O'Fa`Yy,7e0f~WE!فA7}{/юZY\D]L rp7x,f=̓FctI3f 8_1,I7ɕS M ax$uzs4W?5i (loop"*a' Q gYZ7zXZִF! ç 1]ŗXi%6o+lP"Z=mcXh8 Q%:tb Ӓ6 2J}QEZG)4._(4GZ1PeXIz#z8l0OۻBUmvll% #y}+4Bf`# R#L$5siٙB#*wʊKk*ڵgSӵa~p9uP~3aQ xYI؋#[&wvrp?SP-IZweWwt5;j>jE@ tV6Y[ec87&WJ֮E"Lf%|62C=\s}s7k|<#_BnAtY{Ngpn_6TwHz~e[[P}Ai]Eb!nDueD2I{ǦQ'z0˚b N^(A61Řp>b!y z06`˰r.IL<DZl}P;9@]ܠoDoAWOxǻ}xG4OKك{= O %!6Ba3R֡ n ˕nCTĴZE& )ϕl|syNXaXsKӳIUwJ+! >)P?vpc7-£.H]$wАWdg];ARj?L.zVI=$aU9$s=Crwbvib}ž.~e&lMQe,wkm:s3KU !|A ,0:\"fY@MT>oqU ȋD2VQ"ߨt%PQT4` nQgLhS~yjϹ>$ ʝH,H# }. C0Vx16κg]P_ f$,ױ[Ta'L|A傌޾Oc3{ʏ*N.F6~Yo EK^57x64CPvթo@rY\JD =" c/U\i;I΋SzP2 #QF̽CW;{ w%Yەxǁt DX%9]EK @AԾUQIx|>u_QH:a |ZS~ĭUVj1P7h}am'( Pm>ԕ[޶S1UC.NNt ԛFSmF/Xcs9i#-#6OIDY7K%ֵέ+rzcB 8տ#|`vO|BMJ3md Dp]C!^lA;vv9o4aW4'mUB7&j/|p2!w?ag 8]tt `ETa~A~}SG \fc؁IRwܞo;;H yr3gYZ40f4b30825195d80321f1b9f0307facf9354062be003033e0a1df248159cfae37f3521344e99dff4 e58c0b53d135d2468d83139943d3835239d94d2e 59bedaa090758dadb6cf61e44de79f384afda49e a74f7609bfd67dbd153c851e2bb135000e159cbf 747e333270518ce60c15dc34844eeecc95a83f48  pGCL