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 _; yĵ8T`uȎh윾Q`|Bl-^ {.(7G\ sc>٦ $.7gt?Z*ms.ǝV짮fw^x 5\ Sԡ!:$ʥ/Rz@C2Q2hI\ sqDȟ:I&2G%<@/#.\ WqgYZ7zXZִF! ű Y]ŗXi%$K¾VlUXG/F}G!WZA A~:Ctbs И:Łsr'du$e=wWvn YHf%i}&rԫcb0eQY}1}AYEE OǬ"lL4lL?({]/z4uuR[%?&p( ԆAț]l}cȹ4>Y.R\BHueq Qc5ճiV,jz a`_NX weRKfy#H6x%`ƶHW,.s/UZBT`Ho` 0H9ZT uy բ8[Ǟr*qy2@wR_!n)DBK둳;vs|_T0gzH@DP҃e?&mMOuUV :Q 'kİm݄2>2n36Bz*mņTZ>`yg ]C,?FLB5Up{|eG[XUۏ)Q"fb,BK3. 77N"ۋ <1=g>ea%?op}o\Y'jՁӓ8vjg٠G_z60[߅E%7yK @ /ڨNiQ~84vS m5ƥ#ބU7Ne+ G2U; }On`j TZp(9t:+8G=lJ(. Rl7^+2@@o1DŒ%!( ş&X{2sV c/>}_#=>SO!eOQDeKnAf4,5%2dk3e*>Vp&O~tܾMVŦ+#J\;7C5tPl<\V+6aB5y[*W8atɱ zK=+#Є]Tn /{ scHDžӽW¥1`b&c8ԝoa$;EN{$9`Kb6=SRbU # Mi-~=opär;%K#_fv FsUm~tJr0EȜVy.?."U.s>fw΀+ҦA!VCRB1: |hCp/U;S?>FS׋R@ uG~JaiؕSoO͑.izfsj7( O{bo6`afe' 9v}5ڥ64e90[ע7:ќ;~"=[ %&gYZ068279aaa3d18a166de0f0e7d416bfcbc64ce218 0d624df132aa2e54b02fa619fa707a1b424b9830 2c12706e07f29ec591dc22f9f0b39f5d07b62fdd 30ea1034d147c7e587bb9f794f7d1f7f95f4fdd6 336f7218730304e9b2a3f9be4065f1b640c9c272 383dee4bb60284cc7229af5017def9c12378879e 3a570d1cfadf2fe79ab6a87e9a8d11d3dc622140 41fa50695866907283577b0fdb1868874c2adbfd 493b059c7d23b329faee7ad3f83306ed157fe57a 4bd59757d95a4dfd72fd9de5cb9ee71638997ae7 55677a16dd53038cbf3822fc3ed804a074e60ad1 717da459203ba668d3b4152da2dae84802616a38 77a91d395ecd957122289bcdd1e43fef6d7a71d9 7dec43a0543a4a9d5faea0bc66b70666d3117f99 86e2ef92ac7d8a3d145d2164442c5c4c62c68b54 973d6bd96dc9037f8676681fb869d6ae83013aac ae9365d4973bb8d9b5330551312b1e79cadcd0c2 bac897fa3e742896fc83fd68bd87261a0646e3b9 e18146e76a5da3d5bb295ef47091451dc1d7afb6 f9a61dce7b499b03ba5603462f0176cd5f8e6624735820fbde580c794b275d3f360e30a6d8376dcb f7c5cec25e7da1e133019a5ddbca98ad9c7924aa ; Proof_Strategy_Language