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 / \ }/ Dict_Construction:threads=2elapsed=31.714cpu=41.452gc=2.628factor=1.317zXZִF! &]ŗXf1-q恈͐7ӺVC.&@s5ή0"}lρeL·☇֋Tѩv~,{^gÂ7s|zu,AlG[Ntp6!|TS.ˏ )U yb ` g;,+h)lŜ'WVVX:kJ2=wٗ4c(ӑru !3q1R~Ɯch$5x,k2KVFv4KOD05 (lV~/Ñ_}((Y[Bj'9y ڀrN-!^U(_(K( rz'9 yB7{OȾ2hX5sl!cP"ٲAe 4yCi5iOP&T\ 4C9;J?@#A7a~>7~gYZ7zXZִF! ]ŗXi%sz&b6X:ͩ<*U8 kZ0f\hAtө""j~-| P.Q%6f$nU6{ %t#|jȗ0ai뵔BrԾv:5W9'qaSuo9&.Bo}0,e$QQYo3AB{!gˢqLoҿEiyf?T~rTke BdG㝘nX} BpLI9+)SyDlv|%8=@Zڞ-!1E6 ؏)3$T+"_ XG־Y1E~ 8AΩ5$@5F~؜QLHF.4sS;3Ygt>䌭}F3LI6{w6^ÍRŰ?|Hnab^Q)f 'A m0߅M6몭ŸM>[`K$lc_`u9+ߏg*TI6s`rV.i+;X[=oR )>{ێODC/% (_G}ko{ok)hm_VN=%sTP(to< VTf}s?HZ)Ԍ䥞ATsoG CM3B3%^`n?i> s|g=BmEʽ3Bv {D~Ti=/ݜisUgfWGk8O.TH|Ν֌ƴ<~u.ۏL)Ơko^@$MǮNdawi.jOPC붉e75|4RMG__;KbWOё-"HD7qP3^PnQJE):hhPFP׀1diMm5}-㘄ҌRZkJmvS0jM!H!n:*lS OXΞX:{{?[q(,ԌR7ԃn̄ۆ|?]ohmǯ8lgV뫯ptU5n%5vϸ'4<<FAuhp^'7R:C3UT|rw_KSM?U'% $81 Ho)+t:]%D VqMRR70>>R6ψ% DgYZ014d78fc100c98b74414f5db66eeb23ae545fd26 0f8240b0c4f3d1202327d1acf991619ef62ea817 14658730641da87c122ab298cc0b1925a8e8b45f 2d7fd5673bda78bac9a10b0c74cffa0edc043987 4f8b9ea89d6bd74d891be3f0a85340d8a3692bc1 64bace59a553d86ee6291cd0fc7c3f8a71fa6482 70ddc74430b456b8bef97788db506b9e0b5b320b 74c1e3185f043274bf981cab34c6de55e1592705 80e13ff3a886c1c87c891ed0a8a02e535692ede5 8ab262e5b5c5d2301681c11dd78a93aff6903e9c c507e687bc16f65edb2064cef47dcba98c2c2153 cc050eb195764c2af1f78f00d2090edf1d40c363 cc967630286dc45c5810f9f74a4536876f08f14f e4428cd42871958b9af5ddd91e9e9df7c53360db eed90fbd470c7affdabbafc75ee5236111cf87a8 ef86be48e1da1d9511df0004b77a11bfeff8940f fdba1c95b1d0d4b3d366ad733f60368c9e3d27049711977f48cd7397b3b03ce4fb09271962469dfd 41ca8b1ef880b2caab86f2e624d077e228a12ed4 / Dict_Construction