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 + $F!vPuF iUIy>B5+a #Z |fk>v63",2aMѸXn/*É:#10l?Ȗ~I|{t=;p%P/LTsT>8+ՏngSGЗ2`.a{}n2Vp5Ɂ t߅lMJɡ!C<}&?T4nECž&iVӹh cQLpŽ@0O`rǡ v%%6crԫrV}%$#{{1FGG7> 5| f]+mfO;igYZ7zXZִF! ؏ i]ŗXi%}ķp }oeLxح7Nk.Y %U^ `w V,oOMNL%ݲ,G.=o!KIOvG0i1к*wLL֕,,ZnB&Oex=gbx'5ʏmI7kX-]ɋC\G8M?j+Y> *qN UK8{\3:, vj-/O߄yܛ\PC"_ES)ὠ*{^j*Z!cϊ*具KiДo+{R2MP84?,yQACxժP9*ݡ;ڢ#s>N[İ5rt5NQbŴTU G9rbq-E qqׁȇdTյ e&#aTG;jPHW,`]9B5$%9A[)J$ ŒS%}K؄ L>"6$ե !bݍ$ӿf{^%JLK» Y9tDnū~Kphcl= !zUב\+=.݋\+#nEX9#?5 v$^wI ^ގ6QH,ǫ%AJ`́hkZܫ459u0rްKqF@rCfn9S^ߍDSpKM]\nKR9ġЕTDsfc' ᙍ6O !8E)8lkuL${A7,Lkgf*r5mLID#\Ua,TLg$J6yEhyP}B(CтeuOoh.r 19EM0yC6 >fbv"dCߖUǺ56'.k&NCV"ل8Y\YJސh8 j&+K(lFZ+$c #-W؈ڸv[p*e})if[Un9 {OfP (1seI8z%zB΁;̔bc`q`-4څilxx6h/Hi / *+Mm @L^yi%Q%P@{Vo^ncpw5!O9Gh/E^~x̉:`>C W+7DCėb88$HG)|?].wIfE:sg5X#PAg X.D6'FȺ@ +Eʷ@UJCvHcW;m8towgYZ119489a3e3d8e99d72521b040365de7941f7f622 19c8dbad5648050597dee363f077c3ef6069ec4f 31daccd87cc801426117c4367aefd2b43665ed43 59a77fc3bc2821a7b8023ed1f44e54f31d296767 75ade10fda4dedbddf0c79d726d2e8b3368799a9 8e1395268a387b25702632b1f5b5219090c36b48 c9385cc853612c59a697ade4bb07314f1f2a52e4 d8b3344fbf9d3bcf9f7847ced09d257744d6dec4 e64da87197b6cf6a72d86ba6381add534e159263 fbaa76028f840c497e2dfb091bd7f18565831c1e0ba1ca971c8be00bf94431f0078936b10d2759a5 0ce03196a7222f6488e31156b520bc36971a656f 839b44e946d25f579f005d34bf2b01c8c50a8382 38e9905181602a320340a0cad27ea92de628574832fafa0ea6bd4113eda38bf536ce56a5a79fe6ef