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 vv; < s/ Proof_Strategy_Language:threads=2elapsed=40.381cpu=72.176gc=2.308factor=1.797zXZִF! $]ŗXf1-q恈NucvAݪ4 c?[ݍ#pdTMR^DN𑢂|;CŤ&o~,785Y0$4 Xm\fgF,8JvfKV#eP4.C"A8mivvEbTK]ac x 4OȨ}1M˞9u-v d{CdXW/]W3GE=7y/@`yc 5dVgYZ7zXZִF! I ]ŗXi%6uTB;ԏ7f2]M9ӎWj3utN\5X#(m1ucB)Q? Tc>>'pӁ3<S ټY@;!W2`ƈQRۍKwմM׌?dͼx@[#[z^]\(DdkZ>]aUSUY2{kzqZzC%+I] FJ*\}y,#q&ߨ=a}p8հ9Rwgs$亮c5otC:+pq2qQ5i4dG u8mz;E54j $le}3 {I٭0I`˚ Ab JjDAK-'LmU}^Kr_^@- ,ƑQN)LwζL*ܢk6Q[#OITO@LғPQ| hu]X^V,̰6"8k7 ؍.ٝ!=3o]; $8Վ,wFR^'3 @JbƩxw=Y盵>byzL%:!yݻff#q5eQ9y]C@c͟:V,k.9M8Kg[AS5/٣qu钃*&v˔_Dڛ #B03LBHg3~T #3/vO,V쒬V [n D|b\\ey?V$L{@Ƀu8yQw.Y|ϝ"ț\c( 8=Ov Vg%-LiGQ9ғ~9듎>= ¼9bs0y樖2ea,֐'jAcQ_`PIq?++UŸ4]ӄ2UbbfG|! t*Wn. ii=a[w )}}:ę/vFG]/qf~Sgɴ(H`+]: nՋDа'I;MFfM`h|*+4 n*}q?6iAW1w{ϒhOۘ: J8vGif6̰&<(Cm#PS[tr $(71,K SF8D-F@7p n#qN #2dhQ=*f\}sc@C_S qk,S<%^@d0HTS~ێ]n%#Fė'yv ɒg\>T:M /}Ͱr,3٭iʆ1/诱gYZ068279aaa3d18a166de0f0e7d416bfcbc64ce218 0d624df132aa2e54b02fa619fa707a1b424b9830 2c12706e07f29ec591dc22f9f0b39f5d07b62fdd 30ea1034d147c7e587bb9f794f7d1f7f95f4fdd6 336f7218730304e9b2a3f9be4065f1b640c9c272 383dee4bb60284cc7229af5017def9c12378879e 3a570d1cfadf2fe79ab6a87e9a8d11d3dc622140 41fa50695866907283577b0fdb1868874c2adbfd 493b059c7d23b329faee7ad3f83306ed157fe57a 4bd59757d95a4dfd72fd9de5cb9ee71638997ae7 55677a16dd53038cbf3822fc3ed804a074e60ad1 717da459203ba668d3b4152da2dae84802616a38 77a91d395ecd957122289bcdd1e43fef6d7a71d9 7dec43a0543a4a9d5faea0bc66b70666d3117f99 86e2ef92ac7d8a3d145d2164442c5c4c62c68b54 973d6bd96dc9037f8676681fb869d6ae83013aac ae9365d4973bb8d9b5330551312b1e79cadcd0c2 bac897fa3e742896fc83fd68bd87261a0646e3b9 e18146e76a5da3d5bb295ef47091451dc1d7afb6 f9a61dce7b499b03ba5603462f0176cd5f8e6624e4688efe0911f3c4685119d2413b25847e9bdff2 fd75a6d445e5afaec4d07c698e0e0aad8327d77d ; Proof_Strategy_Language