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 $ |t 5/ TLA:threads=2elapsed=17.985cpu=34.840gc=1.048factor=1.947zXZִF! f]ŗXf1-/6vR[j 84[ϲ E <,S>4 %v_cVpyKѬ ^`-aV݉e}jپx߅3zQ:?Aˬ TނZrva51N޳̽s*CYd+A͵A,h#%O'xG22 xJft%~v3J&spAόǤH2KΛox%xAQ5LPY^`ϓ433!J[(b~K^.ew9 TI 8@G7]UsO!:rܕй]ޖ!~lHGڂKi]2YM@cA1EL[3}=N)yC8+a;K_vq( Wl"{j $n򈚵5h)3368K]N<XrN|*S}nr9E^H(HS,{,&% 1cXn|KDX&y-xtrr#& 7#.+/]L`$?1J\-*7|[CJӬVQyk [}'o 2=K׮ B8ܙ97a:ՀR q^Is>(6 4x\Y# A (ryFRwiM:u$F&( y)m#68ĔQ0ui5TO{"0׻T҉l Ϲ.HT=lQzߊ-'*,%=%K[mGL80Eh$FQy<>)g<ȭ^󎶉HM<$ xcWjkyX[: " [+b%A8QH/E,[[4c(,J 8>1Deǂղ~#o 5}h0)UR',k7Kw3w:0&`AzŽ&@Sve79 Jcr@"&xv0#3ʰ@Oԟޓ(5ǽY9l W:n"̯'w EwH|"RCQ|,sG.{M%$܂g'PMeKR%9vl8rEħt5#i.eL>iĆqư#-@w':Qu~ B&vh ?+HwmMqH'_S30) k$1?\SphX!\O$%X1'w&cG.{KWx.yQ4"3g%[T|O:~ ,(XͲٱܢYҮ_0Ll=(Ni(^ !oJsDR} 6\sgYZ1e7ba31c4dc05ddbbb631641d25d4f7cf03f1208 2c9f3be82ff5c63b1f16e21033bd1c4b35f466d2 2f7db77401291eccdc656ef2c1fec0f69869f556 4e0062e104a384dd4467d8375f51f17480533025 58120e6125904a581bef89f8e22afef8d50fc5f7 5f9f91dacb8bf052a3145f88262436d948673e8b 6ccca4b194d7c460c7d20d1bdf0184a758f42647 73f4a222f3b5e5b700f4c91e0ff942e0128596e5 8894e971a51764ea9e0de082a632d1c2af7ac9fb 8d0f9d4bc5410bdfe98eaa74450a4797e3b6da77 92bde48f7def0bd869468078008e71584dc7b705 b409a65573aa1439ddf08a9a817137e0855dd356 cf9f5c4c2ae546d3cd77524b4d6938ace41dadadc7c621c8c679c6f81c939be460dee2fbe4c459ff c121e04b5193f7bc8e7b1316cf00321a124849d8