SQLite format 3@  - llB77#tableisabelle_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, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info \\' ]ŗXf1-q恈<-¡$j ' HOL-CardinalsohkX2I):6{Ohq\“g:({pdȃ9|EG&$\ȞJNfnha~ px!t̩Org/k<# kO 0*m]Ù/<$.pQ@iJFZJֿkC :}}.&]߸ڟ h4~\+T gɶΐLxnͿ- 0b 5꒩61D|;fYxAt̢.`jD}l6l/tg _WEcߍveU^_[h! H N;`􈏤|ycY'u˭o)@ HծBVx4c'D [3 2lc٢; D! M*<agpJ݀Oї FQO.\E?(goI\TĿqKcO\vv,!?2xi!;>V9tkaxxkwQSZX{?b.C \S1Yn*c=[tt>1rz=z D%e1yACT3@E˟WWX5mvQcp<♕xt@x1Zꋕd@`8Bn5i3:@AE#Yn,(L,3I.kѸFUǶF13'-I䉘V2IP0 WDa+fyB>"S}i5fZ*_2?3Bd!Sؠ%uCb#V`=J3h͵e!/۳MykeA#AOK[v12]SS_W{[ȰhUIk1FXN & ;+I.buƈ<6kU--C`W3۪"@bݢ(ܕȲX"EPN?m7o9 SЪ~̨D rvƗnZ=4ӛ"% h2Br]{G[?u]}шdCeOW\p$yMf &)g ` m4Oi,:a+N飖@ oҔq)H]Ic\G~ؐrq ®ًZ  )ulO=۴6Lv_1!0h|:5#|bCH( w(ĕ3tjobo$_f[ 7 Aegfa{S]aa|-a g4H|2"/(4Gksn*o&#Y+!ڦ?5FM[TMZv^/jg5k?V_*#[ʎsV3y\W{IMR"BP"Ŷ.Jtk3^F~\7Nc; >!dBpF0M[W)(<8Є= djMC5KI[D|p:PwaO PpB3KJj 0y7JO}x׾3ʻ٬iv.8 v] uXTJEһ [{t܇w<@ , tK^>/(B|dvC"iC:~j )~o/}E,: ;"$f%465RL P9 Z[HR(ݼ,La%H(AdU{ yS0oZ1wU57gV7#~#byX冠룥gp8;Bdy&)|th'ĕ/j@ йrVйA5vs,[@*/ԡ π|q!C-5Bvr^#zەU39l"| F%&('x*CxCJY7JHSB8߄X<놑_}h%` >#G8TQ#ꡋm?r2D>_G7U0gGj? X[A+\9bbLTc7Zq(G_Vb"MࣖV~Ve4/4 ,L,$,vM#U*jvꯈL^ڷ[mC O_1Bȁz:GZxN|JM U⹷l7#_ 1X5|4R@*䞅nAsԱ'tpl9'oN̯Ur5L LR9KϩĜ]L~Z$@EkU1%*lŁe>)!Egvuaf=\h尦_rI4ED˱?mB0WU*@!%C#Yۆ(c8 J.Ѣ g娧_#'(eFB(:a3vbŘ 33i-n֡)5K#͎o5Xt 6d>$k\΅/pY= &yIl/3vrl*w/[ &u>Y L%AfcTЇ\l*гynїwLs7Cd0x|#^h>a@f~~*[ƜWt|^s=|2 ̐ߑu08ojփxfI15[E{ Ey78pi4HGӧCt8y{[3p~ lS#`Մ>96"Pu MGOX>KTIA[ / vAb4;]TΆiو$=eS.d >7ICGoq UJU\BUJZ;GJ Si" JY'&Ķ40dIP; o vNp|Pwpn\`Yzm}טP{/ ncA8Vt&@~tcX쐔5߬C㕈YII'.#'PQ ?G)vX=yBŏoYxÕ?au,/'iFiWF_G+q!fgYZ7zXZִF! #q]ŗXi%>,nV=H!-jm3g㱑nhl'ӱO}`$[#Ml;>& 1!Loya@Ï8=Q] FU-Sd91 gL<2C!Rkq-Xep-l #]+ӵ*K<5/_2E3S{{elUg|UkwcX ןyP+O;3bJ+ ~Daykt#xKB0Âp4`嵓^Y> =r?4{awVs(4bzH f3ltwsIq߂}ݿ)^mqZ嘋NU[-Q}DȞqpJ|RlS!þY?ac T z:b U{8 _^Ib ] ­Un­R$6aD0 oysx)&<:'4#ϺrUJZ)xMS8P:)+h7 >OF5nYftBnΞ&┛O&Nt ,Ip-L)ڻ?·rd|1W clU͚2ud*w"ytd_ʊ/S/w:w0/8<ɳNz.dJB]BZ Z-S;8K}_I ?"J=3$A Bj:FDgYZ0cb6fc629c51665ac30e4c2f11b0c69100de6a19 12801e8ee833371d95b3f173da5f7ac95c1d057c 1380ba3645d9b440595b00d036854518be576372 44c478e7461bd2f9a5a01b0fedb2d5116c88327d 4aa82869ab6954ea751fa236d010ba63fbaaa985 7384a298679a9c21d2d0f490f2c86a7c467f4ead 746def77c96904376c7d3a0d8c7b67f5abd49773 879b766a737b625d333234513cc20f2d942c00c1 91facbb31949a0430fcb32369bd6ea671b7bc144 9d648ccee25d829e46c58b9fa1f100ed6063d149 9e4789cec7e0ff12c72496f2e441c961e3e40474 a4144db1fa43aeb836aaa3e8adb2f6e2f710430d b2565d4660d0bcff3c2d75d02c2596639a532cd5 c16484b003b7ae40c2eee619dfa65bf409c6064e d52d3e20b288032bcb9ee8f4cc0ed38653ce9ff2 d8b591c052c85b1671e1d7822571568590dc3e35 fbb41d0aa9e7731b95122619e8a4b9eae61c727a fee4a8ccd578676a9d1cba2e49fc5b5baa9b3457680aafe9229ef73c81f6b008c602c3fae9c15e45 03b53026763bfa23a5632c7d7b11d90f7afd0248