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 1 DD ] HOL-Imperative_HOL:threads=6elapsed=43.087cpu=63.204gc=1.944factor=1.477zXZִF! .]ŗXf1-q恈1$1|-~yߣGuS'טΪP)"Gh"0"ϑvi rj/02%ܥآY~[J?OAkJ^*Ea%yrhȺ-njzL@*F۔ԬG_\GGo˩?KC+8MM+/hf֤/73:GT;Y(x28Z0RfM}u$@rIυ#pȥVeJSB:pQ|LfZVz:D7)EWnZ,~=W]ùHo 0̰B >u^Ƌ$y%ݱYd7 åRmSXa=Ī\jr[ݗkeqGG*f:Z)Mc#@3j*ِ=bT!;Vۧk=L,ͪ(e8e! ǛG<؁ ٠$SZGAJ8gZ0r|jHPq=sޓPnlfF x Ld!(AA,y`Ӹb`#+MB譀R^A:3jdH&gA7]J 2bݳ0!{՗n+O_ ]KڻgYZ7zXZִF! G]ŗXiɟ1nhЦx"n_8N]( eOtd;ñ6rYKa&Fz:-~ab["UE=<<ʕہ7BGuaeu,uQsը<9*|A#Bu/#`Dw"ъwFMiIfwIڠ!-' 34!&(,N07ܬ2QV4H{[/ @-ˇ,+;?c00#Y :yeS w7i 02-ej1+)> e8ys+`.!KWjzƃZ E0˅@ܷ ?b5^Hw-Qww, "t.7Ѱ_L"VfYK {y()Xh~|Oz\+:}\Uqv^s5N_3Õ@^+o3cő4װB )+[hjVB9/ᇐ[M`R_45HY P)VhDla9q;3C *jM# dSopIo'$jD0ȽI׳4!~xg1ӭ~mS[6/KZHLjG0kww^?+yds 畄ڪݕx b :$0k'Ml:߽li.JhϬ~qxB!lnLT!_d|l|xwZ&KQp_Dk?0>dg$Me3OJբKLP6m 0EzUJ6wmoԓbVr=uVt<^2 #}EmH7Uoï6 5VN}˹(F,JIyz/Ȋ&'1ñea [Qq$s9T/ !7pL:FqVO,v.jCH!,ۖ"&jM;r|2n-Ռuakr:qhʒbd!RYZ}7+iV!r8iAw*)hRn@m'4y9I/.NAii2.-UޘH8?}ĕGi @|loYfR?cZT{<24ѝ(;-=֨2=M̃M<]-×<x<`bYΫ9UUnH{u圞w`)|uAt @)lo#8KyKR6wIo=S16Mo'47!(p {ܾ{w^y) pG:G).5TWW̠Q4Ƙ6¿I>QٺCH*Ю'g=]zq5Qz)Eθ| :+c(0zp+򾧣c)O([L%R0EymUDE<MIC$Su]ڮ̽9!~&-.IFBA{ U``bjVag;T1׏SBSf_8oTlgta ;=̿mUIj~dzXp*9]w^'eH4}+:]Z|\j '/JT"Mi^ GMT#dYil DFh$fdE\!BQf!ZT)#Y㠌h2~uΏ P@Jr$ӃTZd"M޴#V{v_biO70Op.$O'tد8Ai7ؤ{mPk7>[4/#}Þz3^|eI^SՄˬ +7f'BAXBשWd mnb f>/cSv~Hyk岕1]s*&]5n@S+xy[eJa /͐ί =*=I+2EF<1!|{ހNJ>.WPPwSLD5rjL