SQLite format 3@ .0:  B --?tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "executable" INTEGER, "compressed" INTEGER, "body" BLOB, PRIMARY KEY (session_name, theory_name, name))?S-indexsqlite_autoindex_isabelle_exports_1isabelle_exportsh77otableisabelle_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  q T ]/ PLM:threads=4elapsed=24.085cpu=68.180gc=1.932factor=2.837zXZִF! (]ŗXf1-q恈NucvAݪ4 c?[ݍ#pdTMR^`MB ñaoӧsD=K! oM~obRFԄ\ƟW+h{C$ "a$JHQ0diy x3϶Y;tʢC"nAd`Tzliخ~N+pYVB{p{`EcJF{L,p*QWc&!R.f Ajk'؟hOZ"/ 5ћG9aszDt!͍41?c\dk8u2 Dñ(SB]]]#퇳4A&ˏ~yD#ﲉ0qwyuZ Kna6xKG|D*S>+ϘH0Y`5fxP>b]tnICNq^Ա; E#(Teu%.+Cc.XD0G_.@zAS4NteAuk`Cm ѫ}q@ nV67sqE$AzY=<2#Sp8.si,BG\s2# 41]jrUxl㤜}ޚ pճb0*y7fAKRn~f^W5a4*uWZ$c"!  PLM  J;zpX\.sxx>{8y 1񲀡EyT|2M()ے230픑e ޖ}'-M7Z.STSb.5=ڞbf/R%7+sc.V*1l#uX`ܿGʸUm*L]B̬= (~ذ зGy&sî)@rhnKvlNlt[!V{!D.(bv5p6q?:9gb&WK*K%@Hșg@sRxKn`p]ʝwp,Oe<-ujO츖:*e]peIV6C#Dr>TQpk9; o z 4߮ )Mꇱ]`` 97 Q@gYZ7zXZִF! 0]ŗXiɟ1˦r p0+7bOa\ C/sH?,O6聵LDدdd7mld[D{UCIaWyZ\"2]7?A4z'U0R ' ô:?00o 8Yp=yل<`-@pnI3U奶(dXb$b gYZ7zXZִF! {]ŗXi%ES3bs51 MΊuojŲ ,+G:m Q`>w&w ׁ`"Oƽ?x)D6s0,Xf"&xeEHvRNy8s&h9GQ`A7o`8SsuBK?oFjqW# 0ſmg˫HQ4f_/!ΞOq#%ڽRR2*o:g{g@-Ж߉f=q=L)K(\eq@?pJ$wU!P|zDp~뫜Qt&ho+FzS"@\: _cRiA:[G= VC'ώ<>%o.Tu-ߎ]RJ#Xj;KͩeEG7_al{sԊwU[9GΔíWz!;p3jI|@}9w= E=*Qن#˩x3Lhf^C_|cnQ E@U3U0h;Q-"\:b08S^h ӁUg(ĭ@\X]K[T:DGU0"Z'=0رJ *q׷stxh0E1q55?0Gx/By]`s~{ ډdrmR&eҫ|5'OԆa|ml0%[lu_e[f'c,o*a;=pTSByuVFd&uR钛`:%dT&&&`_n2|B= NM  n;`4-B}> niO=2*: r52bf+y+tR-V#l8xԮ W WjS7}|vt~ kזXQyE_dc׀C GegWZf)IY)^dX%g#k}jex)q\# \sqa^HGC R=5]mApi MrS4f!~ _Ts*Q:f&1Kki㶝ĖH cߏ,.}h&ө^%ʈykթFt Pj1P0Gx Xf3)8p͍Ҵ-^3 `3Gd2c9S3|7IJ-z.<!ͅ X$TT)4Act,=}׎z1bvt7;nO?/gRM3#k"2]W,QCӡC1rϷ,VLaw4Y(HHeڬ5Cj2ζȄzm7bkt.)\C bje*% %ȃ Ni*1xc8QXĽf(u_9جjL=֚[ MumQ2f`Dp֜[_FHC1/ WT&+wghO)%6, xcQH5Bڷ3wtj¯q.)ڣ甆?,ÔEb o3̄#x۟p`۳yM癒"FM? X'er$Tcn%lȏJbO(^CӴ"l*O<؝C*) 7I0꾶' 1^C'$D뭤fϮ= \5%A=e!{ǻ