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  \ \) L4 ]]Kleene_Algebra:threads=2elapsed=46.211cpu=77.888gc=4.528factor=1.697zXZִF! 7@]]ŗXf1-/6vRZcm#kƣOw C/팪¼;o{'&:&mAx_׊O)#T{9bE!'-TJmOo@RكrUl8NE@`"; h}+NXZ*DMlM"OdغP7=g-'^20ooºˇ DOtwV:]Ot:&u9kVR/?"&,]vy|DNgRŃm'Nos!sq+ۊo^(f͇*3>(f1ͥ:XYZrB2P" /ձ0rG??8,)öҘ =ѢCrYׂ 6|}Юqid@o_1PݼiX ʜ:4QaL{fζx_eSW &~G͚YF~J Fh p 19GjQcqN;߅6(%DĒx!FD1}u@&u>h[cx]{Z-c5MuEpb}ݱ5xÕefx% 44#^}I@/hFҦ6E]69KT.h""A63D۝X$%AKRUy#þO~ucwc{WtC'=Z!a7fi'aM?EB=T&e)P><@ǣ xsrS myT'z ) Kleene_Algebrar@@1|}3IF.;7`*>wd `mۺ},~1<Rg]y1z\̢S5<:D>Wr2Lj BcѴAp^1^єwf EJ_&G0S$;#cUG -!tGˉ`^d{nj_紶񜙘K;OZF:b#wuyyρ+nr鄊a[N;=SOWD9;yqp6[EnEOR`.%ȸl(A~ Vՙa*(4m7Vqa$J< G`ۼHQ;o4+aZOBE3yEѮO#~ppfыd)' 9=2KIzO9tc!6ﵹtiDEsYBԆֲ.A_q"'n0[=!2rr:e#U  bP&6Q-pZ#؎'(Vu<Q_!c1fNgG n7gYZ7zXZִF! R]ŗXiɟ<t3A;ȅԇt՜+3Ƙ9~Z]eͅebޕVJ( EgWk>IPC zA162rfv4][fF]l,v#!ncew T>80x4by< F0Nu _"o[J}xمawsb,^Aim䱾9<]+EځWaamK0z; s\2xpJ{70:08a$pAL3tFan}Є'Q*y/ dA5xX0c=Zߕt#=Rj&  gYZ7zXZִF! ]ŗXi%;/`G6@+^`RhNpGmb}y]FEMvn(jܗ7Qo?TE0 4I@q?@!?3dL\6[zؽżMRZi^4e($9 3MuxkD]<iV2`E@ܑW uBkd]^riEք#੦OL (_p xQ$[̀Hjmy'VjUKAyߌ:gŷlaG>a:.}}@J@ט\JFEvcW+S PSݩ@%3ݫ9DxA6#DRʏ$!DUwyHr1r-WyiBlX-%WIzTj87\ 6r/{ԞbzJA`/R΍"XYjwkz%:QGtɎV+T+͵;VJlQCj Dc~&%rjb Lޮm*CpLb:0+^:d0,Jm@Ed'ESS:Æо>8&C[j@ʥQve tIsRMC4yB\|CM0wT Z'"ޕhgZ9 VwK-A=i8I)i\OY℞%EL)Z`7K5i3ũ\NR'K޽B{jKڙpBpK h_mxKʖ6$6i跥Oaث*lk<|GQޠ 2A%wYZ}idzT˾> \ZςQ!a,H){%"&HaBW/&f[ &5MPzBhHNB2J4O y2Bo YRCRfN0osK )u REn%L^$$uq7M?NyV[ԯ)j#laޢ48ݵl s=2S7U 3.e΃ETO[+S1c70<Y)GmP%Ɔa!7﯒Z<'˃}1Be?:\ΚK$5R ׮[u~:Fyi97 fƍ"b?Ʈ0ņ}GY&Wt#yj~|}@P1g%-E=m@m@3jO7sƬU0ȩ+)iTȼ9@DMSt $ZV$跲Ra}}Sp#Fb\KۡdeH6O,_)(BYS ?Q!v4VM;y y>W}@59(p9f5|#Xhf. p'3q)lk'A.KBj; O~P31ͻȹ/7 fK~l'\5Jzt++P4}Ng|X);T,`s'x_9dyLXPۺ݉![>YnN9u?;视 g]=knaC n"Ŀ#sq.zvo|l ߁x*Vf9|ذ.ѵo3p0XAc[7='w*帊 b.- oNGo $ 3fČbŷ?Bǀ2WiI7.'Gr^7/m$!y,TK$ijLP-7N@uQatt fZ@)L[鮅.3H&_ZcOh yN;+ VT_(>9OlA#GtD7)}TwY[Z5"^jB%ba-uR"_$aPaR#KgYZdd9374eeae53c26d9683819fc3ce1785dcd2554919483222939fc489952fa9ff470a43a5bdddd767 6fb5181067c76ae090b98814e5ff8a3a2ed813cf fe66c2c36135e85ba51db5f3041b01702c8e411767d9cf05d4a0db88d11cefb6fe7f90d2f68e5f48