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  9 \Tl ]% Dijkstra_Shortest_Path:threads=2elapsed=66.477cpu=85.136gc=4.664factor=1.287zXZִF! !O]ŗXf1-/6vRZމUaHz..pA2`-*5",Z l{闸 ;-XS.2wBЫ$z.ݣ:,kjv? {G|<5:9|jePF4RwXfQhpM\?# t#Zk( Kɬ٩zUfpP M.g$Bl{LC}|q6E:pK[nL;Gds2Q,Pu Zژk''kFRV~]Nu`\@UC9zņJۓBpg~j3(Y|ݵY(gEurAm:M% '8|[ʜ˅]~r!'qk_Vk~oF D_;G!)7_"l0 dt0&N]$erl\҆WgD0 j4ғ1#: j ՊtٍD!IhH BEWxgYZ7zXZִF!  !]ŗXiɟC3zto?;QŷG'&tCh2.J#!=0L-:ڦP ӊ=Du7 Ql2PbBwԖtkL4wCDAOPIܮϭݮW9$:'|Uϣf|Y0~{zeq{ڵՏK9EQl*;@!5M:q XN۞n(f[seMDX')_ WbRk.Q*((^fYYu "$ |U3Sֿ@痄@"'R͈ܟ f\},_Uz"+Y:uZx?rV)gs釦M6ũzbڒ>\nsyIRnW]"+阋ĊThWRu=3Ӎϼ0^!Fg`90U[xhHm6aӒUGƔ=jqJh۩S̬Yq)zD|Ƈ!7ԇrYI-}hYl> N*,-\2,!}ܢuETco\-[ʶgp&B6c֔M' ^O&5g)wN,c%_|gGj=H1zelJH9sՠ@4i89L!Md 㘮;ޅtD$%3} ~~H]LY]ic @v i*ٗ6FB !1y+(%?/*565e080] %ϱ1+k1T!5՟RߏDN_H獠O4 <{s/Gk`|͝*u5`^Q[up(B[*-v9(j f2*.vǟ\>#I9GW5ALByЗ?jL(764.TO?(J/v?+7z£=7úIŅKS#T Y}a]ч8*?pxhL?h]av~CD_16F,9VHa{ w&z|nFY#1R>_8qQ5שsnb(h 6`+w&?=⸾;aևӼgp~Y{{,3nw Q 9$bevtct;*PTW9hiVltB} Ǔɦ gmrK+>Qƪ9FWSve>'ŬV!٥K e|1N/+R%awIx?cO Z ,1KosF>bnӋ*_ Iq˺'\lk`Z SލyYB;k0L;J>`Hq?֜uoma~Qe<ֻ'ZZM'!L5ЌzDi*(x7HxϘP)mڼ)_9ZG-CDcf,W-/ޞO!jGM^5)@(04  J$3(9hN^~%01"KܝHa:P