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   r/ l< }/ Dict_Construction:threads=2elapsed=31.518cpu=41.704gc=2.764factor=1.327zXZִF! d0]ŗXf1-/6vRZǿWv^/QfQKJq$4ih}87+z%ʹGZ/Y%Kӗa%J-oFaDY^@8PGՒψ܇w٨S=ٗ7]\[H;ږEuk"{WF5ODrF& G0:@Ok?kkGz*Fx3 5 JSkt%p2pqD=v(Ek4Si((  kU&؂b~/*g0Ӛsb#Ux6u0ȟI./mS#ah?+.A&Kkf˖q8XAXs!Ǜ oM{:{`%x{n]VƢ"mK" ;br˷/%Dc[4Q"1>wڇ~RuFB=U@iJG pEVQ\'ԴI,`peЪf StRqHM6P|K>8gYZ7zXZִF! H]ŗXi%sz)#.|  A6n^de;٭kn FjbZ<}Izml1R-qAJdq~ܚf&4Z_VlB׀K֏H 'gI>j P9ρ8$eA=du‘ _ee]+HԐ~B,8BVh_S=R>#'BՆ[iPIvpe[[~r3=zǴT ;2bM\htsnH y_vvD uYFBW{X=WytLc,|@~u2֌է-otS*/9i-0k&^1f6&ω>$+wC\p-[Lu !Y=AԝG4@!a52xfD%~|Pъ;%\}Y@w4W/(&ߑ+DFVw-t3mw_a8؍INзGnyՕ$Mu e@ٹ#yxY $Sb懪ToA-k ޹BbN F5,DQ-$<]1-7?KUM|=Szavpwk/3 ޕs1 -!)?xVSL RڅpK=KxU -8[D|y-&+ 1#]q#+/26Ǡ!Vp4eFY۵b#/B Yٺ[Ӣ%#d Rf %b# G8vӦgQgwM1@ + s$ u|G ʣOc>6*D`ejom/tμAt!gndEk *T]֝Zv Gr(7z/fd|!yW4 xdk-'qbpΫx:YlMnz-Ȱ #sq/G=(W2&f w>/PqʺUvTD%ɍZw#8d2?̀| ɬڽ gYZ014d78fc100c98b74414f5db66eeb23ae545fd26 0f8240b0c4f3d1202327d1acf991619ef62ea817 14658730641da87c122ab298cc0b1925a8e8b45f 2d7fd5673bda78bac9a10b0c74cffa0edc043987 400e50fbb1630cbe00f8bddaf0bde0985d48b6e9 4f8b9ea89d6bd74d891be3f0a85340d8a3692bc1 64bace59a553d86ee6291cd0fc7c3f8a71fa6482 70ddc74430b456b8bef97788db506b9e0b5b320b 74c1e3185f043274bf981cab34c6de55e1592705 80e13ff3a886c1c87c891ed0a8a02e535692ede5 8ab262e5b5c5d2301681c11dd78a93aff6903e9c c507e687bc16f65edb2064cef47dcba98c2c2153 cc050eb195764c2af1f78f00d2090edf1d40c363 cc967630286dc45c5810f9f74a4536876f08f14f e4428cd42871958b9af5ddd91e9e9df7c53360db eed90fbd470c7affdabbafc75ee5236111cf87a8 ef86be48e1da1d9511df0004b77a11bfeff8940f9711977f48cd7397b3b03ce4fb09271962469dfd 76cc7bc16bacff3c41d173310297a26a15be33c9 / Dict_Construction