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 dd#ā,z ٪p4KVGX͎*}43,OR!iAXك6Td'J[FsULH&վFKVd(0:QNr.;V +1=bؕk6b ~;.߰+igsmoZkGKr79T'ʪ%dCjo#>{Oq n eYI(*<.`6+ƽsuRšk9APt%mΫTuPh'bf#cԠB?nM,OX_wV3) 2.)q pMl> q1[;-Aչ=6_`@";xG8-I$(s&szIqAB\CTe]ivCcPoᆥe o3P5~ ~2_Oqt\{j{ֿVP뇪cܑ u >vx f8Ew;sHv焆 =̕FPTwj3dFTPfyrN.Yjg FH{'@ΒIygyc\@kKp=j 0];Ɓ"vy " !$Y}h: T ls YoOn[D֝=6oBGC*t%Ukq)[gYZ7zXZִF! ]ŗXiɟ1`?#DaCu8fB!`1kgb`IF=:M&,bh*#~(7o _uB혹r;`aP},\l0$KKeR 5A*\ $M/bP&^]jx}˧jVS"9|q/NYYaŮ`d@O߬v6 _P`d|&Kw[jef ՟믺}pβ: ]Oy㴷JT̸>_djY6cBrx.UJq[}ϫfD$:K ;?evK1,Ƽh cdXBK݋=1v͕>tHZgxCO1ɘ n4AZ@0`^bFA J] v[gYZ7zXZִF! c}$]ŗXi%;Ż݊wg 9! `Vt:Mp0BʈFe]c?+k<%z"9ԊN*r7^mKq@bHTdQu'ƳƨИӨJOgE} v+FWM*ѕd|)ܱ? Mt.ibk(\ 9WR^!eW'&1jE i J-Q-\j 4*Lx[DlB# OjelTeRS?mߎ*apk*Q UGS( )C8kiFvmO^ďT6Wn, ()nf ' }3lJ'k˅x×tkCmߡv8_I^s#R;#ũoMI7S֍I\ߣ1}3 #%TEDmbN݊ӡmZ 4D6Vﲝj&$e8E*Jy`^MңqCBLggh)xWp/&s6 Dx"$IxJmF\n^hY+5r՟BW*zsO6oy ,jAN [SEhU)`9)۸ishDCʰT!@cs[bcGM ԛLq3Zg$@ ɻ&xj؆>ق:f<@ lN"Oh4W&h;6tT1YDڬ W@rRSoY4`Ly?sҡaG5 w:VO }QJQ3R#c[C+w3wFѨGf|q<EHr-dyƇV3 ]QyCԖadŸM٠{015%1<,оQ"!(1m9ZONC> ~am v&;N#-s/]vbS4zi&Îg y J6RlNK47s5t#U^w,?J][Wħ\XrV]0lST:*f1`@(L \8zJfZ 66kJ'$^0x 3 j mlô^+>zfa]@MQ$'fA@X!9$0啠/˥ FuY-qh,bt7 *ʼIaHkȨ+C?~ܸˊOv8qC3Z59P~[Vq̃p l@zsJQ#"§b^Fe^7?y8JIFZ WHOYO?6خ aGiO+&#= K=۩j`"6E(I ^s7~WUPk|?d!{"8fqK>lb؟~eĺWO5ta=vUϱ Vb*--HT$Z M󰎆9Q%xI~QY)iD ̭mq|?][Rw]WAGpk aLtsyy}ybd;"`wBB@$vBLij.K;VZI@'4|s"9&Pq$Ƽz]R{Xˏ9"q @Oj!UWcd#6/]:fZ 1&k 'Ъ'?PC%R7~٬,'UKd"wi' !>͝< _3T {JumDbԂ,:*.njɚa3}rѸbVp ?+I+7/tI=" Y+S*q/Tr2g(3(Kc`ζsryZޱrrZ&$l蠆{f®%D+I*iLYVH|BmZ4]eqKSXQ GbTءU8V[6|y-もrLjazD@+f}l态n[L\ f p#cTJ\1"DgT$[-޼W qYPpStdÄvŲ~]2iմc(5iϟ605woR0Kc"gD>hdۼ\mh~9|c.:޿q;bR-d(.5$x`ihf1`b^|\bhylU(%l459'-/:g7I jL=KT'OՌO"LA8Smԩ#(p/Ppj#l ɕ%#0B$4|n[# 9016^)F1ş7'4Cp!FexnJުY"2'fUS^B')Ms%bU64TƞjjXD $#SJ$V\DB7ygjL_ H`> ~bزtz'FEO*y|[E2{u%jp &QtLY]Ь2^ĭI3N^^u0.)c &R^2v/r& *V^ 7!|-zq'WOecm:N;{GRRY,Z-S^bscB?Y~/“܋gBXǀ90= qQ=zFZ%r'qS{Hރ+ ;ufE 5w*}F-lilT똓Cf-ŵ:\\JOt=bW`wgg uH`$G>4}򔮉r COUdc\ &# rhpe5çbڦWeP0 Nc92N Þ@A,)mluu+!ͼڼm18F$*oqiďGhLw/Zrw3jk*2@xF/ߝ=`1l̖-1#-7DǪ]I\'we"kt͜< Q~fȯL_%,z\žWQnQZF Ww V/EDD29|q1`9sN\-%p~rڰ=[_j][FJgkiNǜӹR:4h J07594r@fKU+ SFf~GhdLή_з >E*K=k{lt4 lJ9$9>YsmÙ^l\qRl^& =퍳 ct+?QA1#Z wVH֪:9e5ڗ%%-ckQt@i !2EXNRhtOc9`FFܑyE8u҅".PgYZ5556ea3ad508d17de7d5c6af3831b3647eb85b1a047361513188e7c72a6ffd9fc0d5d82009c64e0e ae9cc23b6b2154e2dab4de08bcc111f7bdffb167 2be5e4ce7199151c36f9b47936619b28917fea16 055da0440916fe08346a30595e3a9f318b9f41a4f89178daf3e0e487445e52de21d172ecb0de084c