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 95 \\ % Lower_Semicontinuous:threads=2elapsed=7.632cpu=14.360gc=0.320factor=1.887zXZִF! b]ŗXf1-/6vRZ;tZ6B%UbmVҼP&D-,@xVWti,_&WDsjрAۢ,zUBe*36Lrz}Hѓ:,s%.K`W ([ N{dI$(7ӗ0@_i.X= ={5Cwc=Z9Ha d]^C3Rx "%1f\*RPb Z$&}r1b潘CTEϼ%ⷹQ-"!` KmOS S4㚹zuUpRa 'M탬acXp 5EԄ9,[[hbP2I:Z*"Ee TΦЪлϦSuR%~*,1{./6@VC3d|y9ο:iAawo?$Ḵۦ,בj@e2|Jf0&{>eM?uHg m2 [M8~} [8ZP5kTCam:PVv[;D /n.HS00=UEJzbt:CȊybAcx_ S#D5ְ}Ϳ%YFcΔ ~Ad#R$ Tvͩ%x.c*dBܖyst, pt]ln,%m 0gYZ7zXZִF! .f]ŗXi%!W;̲BeyA79 锟[m}ޘpM Sx&M){[͒g_yS\EX퇧I]Sԯ "g#KX/J波IwMUE-eS%_~ ƨh$.[J~lLb=VYK'@4*4,.9"YKzNt=R_?3(&oV>gRnY)'oU[?:cK$p.ȭ67b^:f{C3 hwzϳYkB9~ѼC8kܜO\5r׋ңaQS9\6KtG$pa H_~uEh) Y[jdZlI%+z[叾XC[q_TѸ'N[lOdJ BչCJ|WIMS?]$kdApCsܝcVSD@Mۋͳz픎 GH5% z*#zZ+՚_!_nA@#VF&20eMbӸ:2)R F9YvcE}^?mAG 0FDV゗ZԲ/UQ@ɗNҝ5'ôYcE|| )P&c%],$*%^ȩ2|lJH X!:*\vf ݊zK_*(ڄ%_2}z>2֎#{[ LÇ5Gqf n-hZ'E|7r&:Qu 5|^x? [k;]OgYZ86b65e55f934fbae00684093cf22aec3241178a0 a225c696c3e9d48f7c4f8098500d46711fb37700 a37c0ff6a586dc734eef0c613efe285630dd0169fd26823aea4412c74308567751ae895bf997201a c51b383787a599e178e4e8b340122b3ecdee1700 dc2961254cdff5383e97fe7701cad91d01ec577c 5e44082305b3e1a44d18a9327bc55a4a3ddfaf4e bd0387820c887a5b95904735a0e26b7b975531c4 5 Lower_Semicontinuous