SQLite format 3@ .  YYQ77Atableisabelle_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, "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   aEtd mS Formula_Derivatives-Examples:threads=2elapsed=63.431cpu=115.676gc=17.200factor=1.827zXZִF! *]ŗXf1-/6vRZKƯiWٙ*P59#;4G(Ik0bcXx72), P: Ej84eWp~T .Ǧqb6a;? R*MP3fћ!F|R)dx˰{s/ ES;Es'dy(F L mچͼGO{@'5/gJo۶j`} >(R bB[tWeL(6Ԅ]zN=|lD1+ _2x P8H8?X9<%JTVq0!he魚hGZu3K3Jl sOEb3Y ړ\j71K~U#ϴroji$+{YŘ¥ťYV/c&4+t v5!v j CF@݃g䞨(f2?n.56Q૫HR/>k3tށEj5fh΁ky4Y۲hv6T{#G&1Z$XY9䥃 ] N!s0O)m;.&"(Xӗo{Adcĥ$lNRl& a#jDwP:Fpw  ۰IEwOPT\kkǎj^<+S95D{dWtY{ ˧ NDU+N{uV(>d̹' ﰥ ߨ~Ѐ{d׊<( H^r̪!Ub.kmh0~ktA~% ҭD0tjƠ_+IC*Wz ޙ n1TsK7ٿ`=^\?c 020,y ,3$47?vޮCy!/?6.Y=V*mC$-YBCӉZ,W;w+a*rD/ʖ+RPSem @AG:ޟS r65Hj]JcۀGK#oZ㚐\+f9 Jꖚ%fј I`45U8L}~hJ2yRL^pN+;:ڝQ^Kp%II8k.䰧ٞ9Ni LvHW!f),pDϽ ije)Fs.d0-ym+wH/ʽ_=RsкNy#Î(0vZqS~#0h$嘀yBĆpfB‹ ;eWvO:Ȝ/.cxIGCi"7~iApY-+yw}USd voGe jP}kwa)T"yV)LjVn|R=5g$# NKBlAt]&B)LUl23{CN JԑSDPtϐa) |4̉Nì]$|Hʅe^5cfN ';PN% DZ; Ǒuh#ϭ;kZK)gme/^7J"O pzc[ri}9YRs<9ۈ@2_DwwIP>" IgYZ3122c5b55089566c74375976fd6040cc34c326db 341531b0bebdfca12e3ae785af273096df594f93 429952f9b1ab48f5480776e72dd795c832ab4fd6 59b2dc7b422924b1b9bdf7f2de4adf9c5084d0d2 94757edc202a3b3edfc8ed89da5c3c332210b7f7 a4bce5200f82de2838e35790681756b11144e8f9 b03aafcda39595a907773e005ed197b502714cf4 cf0eb34815c10b600e671c786585de3d3713e6fc e49c7b34ef5bcbd6834a0da9691127de42c64b3f572ffb81f80d42dc81f45d244b15c5381a012b24 e2861874690d29a1b715dff597313b9f4e7e36eb ee5c344e484cb4571a3e30aa2acf3579a09d76f8 585dfa6fccb2d34d084d77eb98e96f1c662a610d