SQLite format 3@ - llB77#tableisabelle_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, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info [[; T s/ Proof_Strategy_Language:threads=2elapsed=43.353cpu=80.128gc=2.080factor=1.857zXZִF! ]]ŗXf1-q恈NucvAݪ4 c?[2C IfW/ |VrW. nqsUkõ%H^cΰ9^؃f.íZ$<!M$ 0+A ;_Z#Iyǎ/t QA j_uUwPǦjoHV x5iOcg6i+/M }D5*SWatWPU|AvJ1P(/ETTvn^"UiQuCv1('0.wM&ޢ@yC鱥@ʷnjWhAϴ=54Ǭs|llvÊ%FGa|~uEPvt1N##4ޭpߩ3l48Pp 3N|Q{ΧMpnST6Z·ey*;`Ȥ;1dFanÒ\%+rD9{[E҃p1RE6*ؠƎn $"F 2چW% 6){9º.[wcLTOPKd)~ecC.)V{.EriHkp_A?/ѬK 1t<gq=Ǽݫc)7Ȍ #hjw-4L3Waٝ8cH,;=t|@ɯ^ RK#$5.5L˺3SD֤x~ $?Qg~'6ty5, 4RAɌRŋV@ʔd<99V?^&tqh8oәvGCtԟV&VInΚW=FE$LZZ3ޙo)Ы#ў݋XtfQa=zjAc7tβ+D t?:J9I3V᫉ϠzTXdܨ/IH_xCy$V WtVIy rf(2p5H@,{tdE2.RS3\h ,m ^=܍ 6P)u`t#xv>P~Sٛ#}ٮX Ŭ:@tksYXT݌ӕ 7:*7rB5[bŲ0/BugAe<@*t+5Y+DK3xEãKб+M߽܏[{+lxgkBR ,NL]5,:ݓs t/hrb_,PZΈ55p`2_re)&1N{.t8}ݗ_[M8eZ+n聶 Z%!>@L԰GH2# pʠM4ןF@GLآs!7wpԷ iν#c$-50R[285jBbz*ck-H aX*F[$V&=$83O:[t%ۘyW nŏ r\>$2J*$0c=Fw h0A6=#|RzqRxlT&UXa;Z^ Mmq)'m K0QNtG.8LҮdsv Ξ/%\)H/>%R'j!}S>rTJ_ l5jᣦ@mU2a0<KI~\o⤾["P^R2w~áYƱ=Mࣄ OćTt9o^eIN$W1  0J^NThE80\|:I%I܇q>b<ы:Q/6]/!K_ź/rZ1N= e%gYZ068279aaa3d18a166de0f0e7d416bfcbc64ce218 0d624df132aa2e54b02fa619fa707a1b424b9830 2c12706e07f29ec591dc22f9f0b39f5d07b62fdd 30ea1034d147c7e587bb9f794f7d1f7f95f4fdd6 336f7218730304e9b2a3f9be4065f1b640c9c272 383dee4bb60284cc7229af5017def9c12378879e 3a570d1cfadf2fe79ab6a87e9a8d11d3dc622140 41fa50695866907283577b0fdb1868874c2adbfd 493b059c7d23b329faee7ad3f83306ed157fe57a 4bd59757d95a4dfd72fd9de5cb9ee71638997ae7 55677a16dd53038cbf3822fc3ed804a074e60ad1 717da459203ba668d3b4152da2dae84802616a38 77a91d395ecd957122289bcdd1e43fef6d7a71d9 86e2ef92ac7d8a3d145d2164442c5c4c62c68b54 973d6bd96dc9037f8676681fb869d6ae83013aac ae9365d4973bb8d9b5330551312b1e79cadcd0c2 bac897fa3e742896fc83fd68bd87261a0646e3b9 e18146e76a5da3d5bb295ef47091451dc1d7afb6 f9a61dce7b499b03ba5603462f0176cd5f8e6624 ffefc8a279def9cd4dc8de263837bbc6bf32799707addc2441fed9b50c84968593d4ab6a353bb724 8db62e28615d4e139a28fa3d5b23cc3a3410b988