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 jj; <, s/ Proof_Strategy_Language:threads=2elapsed=40.099cpu=71.708gc=1.612factor=1.797zXZִF! ]ŗXf1-q恈NucvAݪ4 c?[ݍ#pdTMR^? rmtk-g=7RdgQKmDzj|3zROX$A9jKR~iVtNyDً^܄ZQWP*-7CgйZ(hu7'̉|Ǟ@OȏrKO:v1K魴ZdLG~s\nE_;P& gYZ7zXZִF! ]ŗXi%6yKF?SUk&]K+cRAe%š=i2 N OO8]WgZ33!fut#j%"xE%82K(!Y‹YᑨVYuő'nuj-f*'\:c&ĩUdn]ǭ\9H..>a ~v]YeLb'&-й [0+R:.|w"\8ۢY2pc37͸F= 복~ϩ(trhQ[ՒQ@ĥqUjbJ;"x8BG/i+u f{bCMvݤM4hRc ^iYF74"rձ9ossٵ2HUс*,/1ޣW2KCc&*g8LXJm+!hٺVT`˴77Ӽ(آ8S&=zD Y>9:: S kiqgnD$3")XxB 2[ERh ]|"M Ta6f/Hln<@ɷ)=c˷X;aQK~ZٞwSa4T+OHoAMA=\PC+2YªG{m&uo|lHJ^.>~ WQ>8ʘgoh5Ew;F]ς*Is?0E=JӧFH!Yqoxk-G-6ߪ ՙ ﹬C%E$7D)H{X -Ps$I, \?mJC;ZO *Ť\DGD%Ԏ4$_॑ Ԇ^ʻ!CCI:A ]|V<_ ;ɫIbQM 3'OAib|u iu>&5S}¿G:umVB; qTg?Nnck;| M Z Gps1ElڔA.[ lu<dfW,!48SUoWQ,YVv`JR43lM9{@G:%]=װf fWǥw Nئ>D. 1vK-o0"[8{aRξ2 ]auT Lƶ.hu'' t%&Vo;55c}pM5m}t.UŗvYY>~?̘h6C<޵_e@,W!ʙʸlj^9\NYHX Zmt2t*8-a jUjVJb,J qlA+;-#afP=زn.fYfKC]꺅Jnǫ}xnL(?7%`*skmDz&B\\Τ(٨ոsxm)2.׉]Ɓb'js} Cy=bdíCD莮a98P4ֱwor)]gIE/}Q\iq Lx:1GujDdđK>F{`3d;b{nN{fɥx]Zp:b)PƤl=/(@# 2 z,:Cۗ/qzY"F*ԑͰɌ' P#u n"tq#b ʂ/ kne\5qenQg'$ߐRV2 ´f"z)ET!VԳ c7G:y]/TadeE̵Ǣ$$<]x^Ё gYZ068279aaa3d18a166de0f0e7d416bfcbc64ce218 0d624df132aa2e54b02fa619fa707a1b424b9830 2c12706e07f29ec591dc22f9f0b39f5d07b62fdd 30ea1034d147c7e587bb9f794f7d1f7f95f4fdd6 336f7218730304e9b2a3f9be4065f1b640c9c272 383dee4bb60284cc7229af5017def9c12378879e 3a570d1cfadf2fe79ab6a87e9a8d11d3dc622140 41fa50695866907283577b0fdb1868874c2adbfd 493b059c7d23b329faee7ad3f83306ed157fe57a 4bd59757d95a4dfd72fd9de5cb9ee71638997ae7 55677a16dd53038cbf3822fc3ed804a074e60ad1 717da459203ba668d3b4152da2dae84802616a38 77a91d395ecd957122289bcdd1e43fef6d7a71d9 7dec43a0543a4a9d5faea0bc66b70666d3117f99 86e2ef92ac7d8a3d145d2164442c5c4c62c68b54 973d6bd96dc9037f8676681fb869d6ae83013aac bac897fa3e742896fc83fd68bd87261a0646e3b9 e18146e76a5da3d5bb295ef47091451dc1d7afb6 f4da37c12d51d3d8fdd7813c94840d74c5cc6fd6 f9a61dce7b499b03ba5603462f0176cd5f8e6624f0df918d4045ad6c60b23213b65e87e41842eac3 28b0b14cea5cfab8a9e104dea18417239d359f24 ; Proof_Strategy_Language