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 / D }/ Dict_Construction:threads=2elapsed=32.359cpu=42.728gc=2.912factor=1.327zXZִF! ]ŗXf1-/6vRZǿWv^/QfQKJq$4ih}87+z%O,fv i>9e{ g \{uIP̿P5Syapi&: >cDe0]Bbpd 5PO}"RKW {r)%f Wŷ 38.Q| rXc$"p  V|,@$?*H!p8KA5OTGqP3[&YJ\g`4aШfjϑXK@,l[3RY |>,[Q1\\V4j#HcqH|;>RW$?r#>V)@$P iXD\=y_XN;u{MlR%.SQh!y<!bz_o@3)Z"@F Ok:Z,st) E˕:b߅lvVY10n8uڵ>$ã!D& <ٿRmwQYdeˌGע,j0Z F}bF6O3@Jxy:VddϟGd-j7T˝MߤDa¼]MhCdj@_Sq}rc|6 jQTgYMNS6GuQbVn®3|}o֑i kڽ5Ϫuo9 8~oq]6]IP!6%+Yor-K/ݐyĔeÍ8w Vt¿cLg;FKh {LvߥOJJ !YeHGѵ]dG#Lp}28Hv~UW'Q3I`) "+3{Xޢ?l/aAEVQi,|P9xqV\8Њ{!خ'Ǿ[~Q<>9*73Lι^J'WJ'ݒ9_C[Aw9P$ cjXB0K>0'Plo01ȯjm`ӵq!QH$|A Xz/nPXSDk/~1w㸈\6Rf?ꚻVȤ \BI/-?l-W֭ vjnwϮdݥ&b'm\{܈WT+U! 3ny] r|`/,S=:Uy{ vpT0sF?Q،,a JP==ȶz`*A($M&|(cxG l!G-2$R FxWT^=(Zg5yI{2:Td#VJ@=kv!9@),lܠU=3+J㙚d1N`8LbU 4,kϬ3KfC>f}/I!3&~OJ`"@f xD=,e ceBXX 7G//GS)BL ֆC#oPgu*}{4wGum~,|3vj㫿i1o?r_"s/+]ǫacȟ&%i]GɭlkUM3M @!}_J4<av3a~L0Svru/vMjvsBOM5U F;{19k,rU|H 맪_kG0GQaXZY=7Z ;TD+4qq!7q7\3Xx,#D9$ZDfڱgYZ014d78fc100c98b74414f5db66eeb23ae545fd26 0f8240b0c4f3d1202327d1acf991619ef62ea817 14658730641da87c122ab298cc0b1925a8e8b45f 195a898c171d695c57ac96ce2a3e8d63d1e78bf2 2d7fd5673bda78bac9a10b0c74cffa0edc043987 4f8b9ea89d6bd74d891be3f0a85340d8a3692bc1 64bace59a553d86ee6291cd0fc7c3f8a71fa6482 70ddc74430b456b8bef97788db506b9e0b5b320b 74c1e3185f043274bf981cab34c6de55e1592705 80e13ff3a886c1c87c891ed0a8a02e535692ede5 8ab262e5b5c5d2301681c11dd78a93aff6903e9c c507e687bc16f65edb2064cef47dcba98c2c2153 cc967630286dc45c5810f9f74a4536876f08f14f e4428cd42871958b9af5ddd91e9e9df7c53360db ee923b4e68f7ce3fa015db25b03d6bce9dd517f2 ef86be48e1da1d9511df0004b77a11bfeff8940f f487b02b1ede67827112846e4edd32559c9e350f554fc66833c1e501a5e5c7ff24471873df0a1f56 d155c2ed07829a15fa84f92865e4197c8a5f1ee1 / Dict_Construction