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  M M(7d4 ]/ ComponentDependencies:threads=2elapsed=70.893cpu=134.380gc=5.872factor=1.907zXZִF! ]ŗXf1-/6vRZyߧ{nOJk )'}#k V}]a<^f!V{=7~AbAY~JzVjyvtVP9|nMdG,\!t)!̂eLӃ|'K \GԞ,&u6wހF__ȍ;3deo ivtuaG/?HW$RX`UN8S4Wq69!!vNf oۤZs]s/kc 6pkpzBG5.Radxއ/S&ۧJ!0 c OŢ8Lln}=Tc^Vy&4>4Ga`4Z SHIY MT:f!`xK5E<ZQ< Q0 ljԊsj%Tb3ic^l#oqSm-;gYZ7zXZִF! )]ŗXiɟf_ ȞK¢ `SF)qsL4]GP}?B^|pRaAck=kDkkbԻr<} i&!,¯8I+颦-LAi'zo}]gYZ7zXZִF! VU]ŗXi%90øSz-H&9(v@TP'1wX:\m 7 ComponentDependenciesY+.[ɴ=UCb?7p_1꫆F6ܖBhX,ֺM,f:[3/*iGUiͫ$%>L:o\GÏ}J0S9a<[8 6fz/ fbP#Ll{qre]Ѧia,@Z&Oxt9Ǚb0ӛv Hƨ,ȕN Mg_iu̓{R@erԹ8G4G+yCC&# 7ӃC$yMVvGp`dCq(>--cwQ42gM!j‰].$;ˀ4'UOe=zb̤Ae_C<a+(>3|QKDc* O 8#e/b`hǤ T2PraPX 0ܘžno}b̼Ҕ$oqzo;uFտ|*,kˌe| lYf1N#z=ju68}/ϕOcx#252p5O[0.n)`v/}n n_CYu4/ϖnj`.mZ* 3W0\ҳ;X-;cLgV8ZMP`c&ҀobaV\0&mڀ3;$ZTC-[v`Zk2Uʿ;$)MObJGscF`jkVLPᩘ@e#W V1Z0m&, VG_.nF1J6u^Vcu*nw.?FF?0h[hAa$P79{?A2BCXjS'NeVV#W=(`k $fE:s)!.ic׻޹+C82ЈݓˤmuahDIJŗfD\[$I_^`X y8`(]ك[XC'Z-B{ T^W} /~d t.TxU#nCa`v{j}xoȁ*FPUr}w5qjr=$K7sf,+Q6ɖ2r0UOJeGIh#OVm].R gS % PH'O[Q=||3K&/2KuF` E*ѦOU (JB{uCG/p`u<ÔlyU<;.7CRW`>lwDW, 㩽VդJ/2:4-iFZ2hJ. tTu<괋6žQ[,^(+^]yPQ=czWI-'|^B=ĞмZec| b~t"X -Rm&^]ȠpGթmE lf}){LxǛBV ;h058#$.Q:lI'H) D(؍fM9þKk^3>pޑ\u`R G]zt5BCٺٿS#4Z,;h"d>'A@CVeU>mvpo;\1b!+aIjhH!ʚ|ib4J.;ўLL֬`M*gYZe4cb638f94c738d400cb2a51acacc7ec5e672ef2ee3210dd24a02fc2532bf9b24d649a5c6880067f 50500894c9f08017630fd27f91d8231f2cc9f198