SQLite format 3@ . BBh77otableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "theory_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 I 4T ]/ FLP:threads=2elapsed=21.219cpu=37.600gc=1.124factor=1.777zXZִF! o]ŗXf1-/6vRZlh[j^iWrYWrUGP2.PGp\%Ju|pi+-Oyc3Aƒ7C 9Iz &Ix<C8B"8&oV PP75 aG֫#kz.9(KGM櫧r|yc Jzg 'VO={*u#R%n.FFU5?DW=oՀ%D:Nk";Ny 9Nu]@>Tۖ*~_+A.3qbbh:É>( }%t -0QTi ) ң?j1]lzCXOmH2 ׂ[-@[ɋnzMd~GO͑t6jxBX`i:@C"yG@ݙ* pBz`m)vKFCDőnjr꒬9ְ2Ne$jA2e[T #V+}e{"yff>/~7yx^'Z}?!\}U}Gxna'Y)_(*gYZ7zXZִF! ]ŗXiɟ6PSוuF3J"ᱝM/rZ&7((ݭO(bɽk٣.3p}3(GV;r؈ cUj-/y /]UgV i]]a8#r_zЍgYZ7zXZִF! ua]ŗXi%ή++#L=]srKWoO`(~8ϜDt/غ 3q;-QCb(JB! <YqNX'= 2@p[tzqRezߋT6¡]rԡh5>>XMΕzQ(* \m[堫AΌYM$(h˸p5D}8y=rŢ7 As䟋є˙ҥ&{~) RX'Hi@ԵMWzؕ6c`Z=]spQ]j(4tQ.(F &U ss}siC=lU,\)LHF`eWX~d?I^B75*o#^D1wr)h/t /PA*bŋ49 t3j ~i%ks0ҁ_@ |?Hak%UÞ(U'\Y B~fe>'硲D4VV#Y=kaۅv8({d*\??`JHt<] ӢQÐauvp1]ۥ%ɵ?׵%m ;]g0Sd ^J&9s5 WƎhhCA7ȴ;E#ΧzFsNVwY-j_I9X'lâ+@3n8"3hKZ;cΔrDO<R)Je]l?Ƙ