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 RR+ Ie1ZC`,w|hTo%BU(A3  >;[oA%Io_ i5#qQbtBx&ϧ!gS4oV~V/`Ed ,`#+ ~y7]>HFnM:Pnh0ycu}6(K~tbe#Ì/92nu"8tHpy_- X +lyA!"W/KFKG2Yjq複n|UsƂ< ;x^*j7ȄyrxK") QכTK~ؘ.)9U+oP=]EnN972ɀ3-`JՀ*G.vISPч.if<>М?~ϽM PR$'S0(*b:rVR-@G r0,'*hGb'ی6~R֧ 7KYK5naF@C[;P^1K)*"[`w *: #q?)5 sʟYOIn!f!# 0 *}aA\a;c0W[:Hɩ ι<.A9R쟱CZNOWY{I^9V#Z@aba_>iaHGgYZ7zXZִF! E]ŗXiɟ@l M D-]CX3;wѫk(,CS+a((2`mBfU2=ƨh>\610Qa؞3sw1;v|B.jRS1gɰ~A/Pe}wzNPle$ 4Yj5DVB4M= Ƃ5oA¢#~ĎTe*Z0eFHۘxy蔠#G:Th$\4kEZƠ&/silqtORkn"0%j+`rgYZ7zXZִF! !]ŗXi%ruz +AYMy%"TZ'َ3{HZD8k3L=h,NcF djn/xA=NCGl7-:S&aEBNZ睍Ju<ǚחX٩gm 4Y,8f-%ΠpT2/S -^k,M+3C|/,QP Vn6᷿VyrQ3k,q^Mlۖ(&̊j3 2W'-0Ӻ@ nfl[ouy<;.85 (ݨkgQ#+U[T~B-bXӧ:ޝxٲvQ~pTgJDc=#e^ER YFN9Ź!i ITzQzضN'0"cqdqgج#(vS{:I5\HlE<Ժd<0k=v{s^[7um2DWZK#SyUp MSFɔbb8`⽠7K !/:/w{Q#B6 x7u%BU<T YT+v?_q]B)k䍃E=(!ZG㹽7]d!֞i Vmgy3Ӈ؟vI9P`= okɍ\;?p2hw۝SB5o|M2p}9 xHmgO2!GALb^.ji?HOڽk8;V" YǏyngO 7iK=qIx7?WhB W;hzG1HӤZ#~rJZ6q8`O{*!QLV怍QwwgZ%LJbƗ~ GҦr q5~z \fhg!/g{leدG*Q$H3 f ӭCoH:].c7vҒE /TYB?~,D3c:kWNL$<};,%f@iwp*ĩZ3'Jd'u4h"=>y%TkE"Yk42k+ʃ:oЂ'm7s/z Jܣ% 9aȟ@mkŹxXk,_rfNhuozBfc4$ߗu%XNFP~#~NifPLٟѻvxY`$ l+L9.y|E{[P˖م٧X@ ]TMUKPokC~{"XII_J^pw(=U4 X{=ۂlj xh LƑv9|asс!:MRD̅ha_ *TL.+o_G# N)-\)ccS"49X^.$vPI$%=VyKwti/(xN.C\8^?tPtgYZbc2bb3c4611a762689931db6944c4ff8d81c0a34d6ac031d3e88d65563eac5f02a097b7a1de9a7e3 ffd3c2f455ccf76046f1a522696b8fe123ec936e 0a9ffb02608f6141bb793ad10bb944ac191d27f9 4aed21536b48b4e99890b1f34a195d021ecdf9dd cb0ea7e123c24748759dd965ffba84e7b364e8d4 56c277c0eaf366dc9fbacab9a5d81fa477ac3ca4  ROBDD