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 t/44 ]/]Regex_Equivalence:threads=2elapsed=69.476cpu=118.988gc=9.012factor=1.717zXZִF! 1S]ŗXf1-q恈͐7ӺV d>`;Gؽ8nt*q* .#lw gh,jl 1rFTDy9*NP8*+(. z3K6YVNz8ݡIP+GR%m c K@r'&Y `-oer-10d= i@DCgg_n(3T7J ~3a2nz~PF$D ~EDz8X"Rrp^71>x42^7IʼXB.(?/)zݶnj|:OBGSgZuZp5ȿ0*i _'z^F^#u$G ƑnBucΘpg|=eԌ\Bg=\1F8 HZN̽LKAG}N+yYh*L4ue$hiFGJGHVKs+SPX]D8sl,W~u|91] 3?&{:o&f*M_7p:#bfv;zmwEs=AĞi|d=(WRRD4 /xSq`'\ڵL)%6cCcdUD~6FŘb/#Asm |;[SG\BaVCBI)ʭY+1rR},_4鳛sXU; io6?0AִzMy_B pQk綮mJ/6N륊߈_gEmyrdo î:a@{pNa5R]`[w5q{új`fwPO8`K@=5_|V@St{+%M\soDpu-o5#dKBӆ%SD2PWOIݠ!V~fN{$'$b4h ^弤 Ѿ41|3sw讚\_S(BSc`jx}]>y/YnE;bk3ī΂EdCPn:?^V'mX ̠,55qҖL$,H8zY8K/߇cЌ5*ytnd0](E="Yu)W ^-TĺkˠW7DC<$Q94v#ykPObuID(6^ tgYZ7zXZִF! H]ŗXi%;Ŭ+/-/!itiԱׅC7^7 ZLܪ߭ ?ּБFMx`,N9eʴw0=Eۂ[ЭmV!AgX6'Virձ`c}vg+W<̨xXݎ b-iH/ / Regex_Equivalence'̆ծ,^A,7T?YY-P6 U:Zn63tꊲ}H,vD]bwVC2Ō]vD¡JuH)@i`| ڤ9h'xxU8#OXXJ!#&gm̺%v Lѻy{&~n(4wY{ JbED0P&nw|P3ý&!:Ƀ/ YX[Ka$E(`b^0֋e0Kfk Վ34i5Q:4ɒ#8#JBɸ[-h׊ cSqc8:\i= mJ  `T2OGth\t Zp1/pu\tBi$/+M"5B$c(h(!zb<'j`ģC&╯S9eޥPi4UDL|H//(דCgb0ԲHq_׎LEKl+w|gLz2!]/A?0\zBXeӘe֑G߰ʐs Q9t͢*jdœ1Rrkc|0(&<Ɋa[]b1o_CJpqNْ!G ܾJ2nzo Q ^FM\ʎ?˖A^ mj\ِۛޜk%Gx2$69hGWO^L&tW e ]ă4.2Z=,4=J8 ѡiF=qKs&IX<&!\*u{xSjsڱ2vU e bl V*oF XO>M,Wd8bCI4qpR{I Y1D%R%W:g pL|Ao^9Q+( &VM>^-~UrN6*){u/ 0x5ly켽_p`O f+HSRAJ:g>SKX޴1#O6RBFany\ ,>bt-ğD8@(?'p` j9Ö( *k bwSIțnJQ-1iexŁ(|{b7Z)m$)X /=@& wZ  CuT sMc0?obw쿤uOT1l`,LvӟrFtA,g*22 j[#A!=ҡ{ix6*%RMJx4Hv/ ZˬݽhSV~"H[InҊa0.Kɫ~!x2 ]k2JgUby։ ?UN&A ʴiTɄ{y"~Y2Q@Y{埽]FtAHUgsa(URg)սs/2Y˖b`\1LW8Y2ҼmQ_$/ HZLZ.A$:,'vEHߜ9` Qz]^#@R+±-#[ګŭdrџdpTvo~\$/#[Yk}t,6jGKj{@EK +EK2{n2m[ӨGQ*LRkK8Vue @e)fW/^H?P Վ5Q'w|K"#QMt5}TлRy7h?Du{šro[e t1 lpPA=v7`D?5M h1-TNe(9l0)jfE(&Pt֍Τ= 0N 0c^k %6Jé=)ʡKMvC>:Wm@ r͇. wy@ 5*_Kv3 yܣ.`1=2K#_F;ڸۗTVkDb(=隦U!xQGSbι 5_i1m=!Vfk/!{HO((}UGiotbFy֍_yW ُq>\joʢs|i bʋ&r^O#iI`CУhz,a@+t*׬1cٳvajs fvW4V.- mA-h¨dN?y'FHৄ8сykP|6WZEܩ9cjZ8OJX:RU2Lw`