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 (5 4< %% DynamicArchitectures:threads=2elapsed=18.842cpu=34.484gc=0.788factor=1.837zXZִF! ]ŗXf1-/6vRZaKSt$uxek$x="Ǯ6xPm͌Ͱcmy;ri?۔P[WEY#XL6?&)戹Q{S;>VP\WW)ngpp+P2Re1|;%+Ĭ%ڇ>(+y2c)Uߌ=--):1;D&]U;yr$I'Zϱ߁N@xE7*()DܛqG\Jm 򝸟~U2_D:o$u 5k( rYt,D-:S/|!}}uZ!|O#Rmtι TQkU}髰6t7ջ=v</z5e7jl] |˴m؞fe. |75H T[yCvtXC g,hobo3q-`R+y1ַgYZ7zXZִF! i]ŗXi%6Wq1RS1uҚ] !jqa\N/K"{B|p1%Sz|Hӻ㉲%UyjyCD]W4cNp?0_Uͭr<юVGUd}YyCJ`o4 hW53u=Zi#\~gչtS%f3@ކCM5/gCTFma%쇚fRgțw쮔K4"N $uѬu Ty:h ԅER}d i5om'(8G {_d/K(Ƿ_j\HHw'\(ezU/%LnNIⳅM"H͘т(H(p-I6˱@:%6N@TXVDƙFN6φ趷"uvR@8"4.xvqXpAbuSsݩo](Yfev`.ݺv0!DEfto5E_h`}ԭOl`Ygrn /ߡ7+旤I5hܪZUs]7wƌNd3Hԗ>~Rv,c#߂UK`UV b\h܊5Eϋ`;;'; 劻#ü(僳d-1!ܑ K2!ZF͉EY˲V3V#&~mϖvZ$2$SiG6NekK?[.$'~Op!ScL֊皮^C(W,'<3 Nc9ROoRL 4c/>#)*MP_̓jRT% PeЬIJ|;V ~l|L%aiFFKmuJCc]x/ZmXBe)]wdi!Iwd#p2 ` GWπfҌapSO<2ح%2GZsPe/Ec[ƍ0bgC2N%5q9ayIZRTZ'yr\eT[SCƅ]dh BÕ̧![nGE44d+6/|PAMpIЮ_qd W/gYZ2dc4fae8b120d9594302d3117009e1783e70ae32 9cd24633d9a15ba712db647c3bcbeabed496316b e909be8cadb8d9fb36fd6b038e8e99244c747f64 f7ab05af62e85406bd9c75086bc17ea53e6639b7 fe6b76844b93f839a8a286fb51f5689d7ef059b1f0df918d4045ad6c60b23213b65e87e41842eac3 28b0b14cea5cfab8a9e104dea18417239d359f24 98dcc7bead3126f415ef5f6e3e3cd69aeb7477c1 15ee8cc912aeceed8fe042672465707952bfd409 0f274b86b2665f3e8fc4c8fb05d48c2d1e342654 5 DynamicArchitectures