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 f/ l$ }/ Dict_Construction:threads=2elapsed=31.563cpu=41.944gc=2.940factor=1.337zXZִF! ]ŗXf1-/6vRZǿWv^/QfQKJq$4ih}87+z%$cA[)%e f[OXP$Z5q׵7dhqC FY^Y qŅ,V5k0sv7}-m^4:bk^A$wm,Kplx.Ⱥ^eq/(+&V(&y4[#Eyލ IwDgs `ax.^?uJ\VBB8wz\l#' iiy`qB 2+TK8\iCk8}B_g5#9˱WN%dxw/ '=?k&Qg~2|N.3Mz,`@du' }un/_OS PHVjx'PE6D&qf,; C&CtgYZ7zXZִF!  ]ŗXi%OoJ!+z~qUϧV.<-!͹p\32%]k?aάÛe+c|#7ؒEm" yOh1>w {?2%\%hmђsk  fPe ~$ dCˑ-PǾa7Ö^mOt6A͔ȅ$Dۤ%)pn Q*z@Z %ǯk޷=ZٳH iR,[O wj+I lD_6~6`˚Y˂uA ^ Otut.]:L6EUcO#׭LAX#tY2%rEwG;P%D(f$~vWm͞tv0i—y"98aT=ٿ}(I@-e.sЏgKP5o3%և@e>u#s∛*9;/ <_rΓ;NhHQ9iG2!:jaD`p7YqYԢP#|u88zQ􁽅[MR{ڔTrI+O/Z4S71"Ϣ|Yi' 0CNa>!)dbve~aŸ?8" HH1i[ݫkNeip-nf$TǟE/oE-Ʒ;rݰ=4:VFS3.aٽS-Mqn5#<ά|="Wg,hu>{#dv =ґo]2ԝA m!x"zK5ӄOa4+q1JE)}\9;;(O}S"1mؙ l1Ec)y{kjG.,ͧ7fXP#Ÿpʑhx+(MyNw{HqTAp /4K6zNUmBoƑB'hb1~lfM]H?"Z#/)Hdև2GMw8S.SOkQ8ҤVCfߞEy?};Pv3h%\x}qz 2+oLIo.ϭS-m-ېU.a.kתN hVm˟[}Gkvٞ7_"x<)^+VQ +eP% RI1Dĩ{dA?t7A"Q DXīYWm\lnn; @} g|t_@7ZgYZ014d78fc100c98b74414f5db66eeb23ae545fd26 0f8240b0c4f3d1202327d1acf991619ef62ea817 14658730641da87c122ab298cc0b1925a8e8b45f 195a898c171d695c57ac96ce2a3e8d63d1e78bf2 2d7fd5673bda78bac9a10b0c74cffa0edc043987 4f8b9ea89d6bd74d891be3f0a85340d8a3692bc1 64bace59a553d86ee6291cd0fc7c3f8a71fa6482 70ddc74430b456b8bef97788db506b9e0b5b320b 74c1e3185f043274bf981cab34c6de55e1592705 80e13ff3a886c1c87c891ed0a8a02e535692ede5 8ab262e5b5c5d2301681c11dd78a93aff6903e9c c507e687bc16f65edb2064cef47dcba98c2c2153 cc050eb195764c2af1f78f00d2090edf1d40c363 cc967630286dc45c5810f9f74a4536876f08f14f e4428cd42871958b9af5ddd91e9e9df7c53360db eed90fbd470c7affdabbafc75ee5236111cf87a8 ef86be48e1da1d9511df0004b77a11bfeff8940f735820fbde580c794b275d3f360e30a6d8376dcb f7c5cec25e7da1e133019a5ddbca98ad9c7924aa / Dict_Construction