SQLite format 3@ - llB77#tableisabelle_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, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info ) $|  Landau_Symbols:threads=2elapsed=13.709cpu=26.184gc=1.408factor=1.917zXZִF! ~ J]ŗXf1-/6vRZ_rO⛞[\5((jgڙz*1$gw(pwrH?sSfA4 RdzY }WƄ^sRD A T2ؖ SL@Mՠp`("*r3~ ) Landau_Symbols!X*Qn1!],Ɇ;CCC{Ο]&$+O ɼu m ?ݗIMR;)0"~S3t;nV՜xc49T=TsyDB&Xg$X4.;*r3_[+gwz* `}VAq&npmRK3[>]yWg_D\6Qg8p/"@@EYI@J[+vrL ZQĊ9Ct7f|-=p!'<*4YT+*lj[?Rl"tuur) Joq`.a5D_'u7Pi\4H"!8Us*Cs1; DG2 ,'Hm}}k4Ρv$O>|*m?הr g~B io5q㻧V!]74җ=:K̕)X?yIURM ',ՋY2N(g`${hS6jFR7EJ&~,%8TVސO*Fp}5q>ߐ}1-)"n,/dE8S& )3;.[ԥrUi%%! Z Irc?q7S9hS%W OUc% `_>4/ڧ )CSrYM ޼':ls\*;w)4H>V掌Ϝ%gO_b6WS6&&r]+*V[ߵ}eM}eT!odՆw^RQ5lf:3¶^/.=~~7ab+W`V_QYl(8eCz:˞sh#icIT+&:=zf6Cw`[̦T5}2E6oSYͦ'x[Jr@ӅWO>AՓD)){u_$rPZ.n}8ps1QՓpkgt q!vM}mmђ4QKWZoދ aqSKYGXb,ix JZ!nj ف1?g& |Jx{uWB/L=Qrhr2+ysp$3Ipe\DD 4}“p!Imh8d܀[E !e5XbX΋q^Eun-[ +X#sq\IFH+CKъ[TGE)/gYZ7zXZִF! O]ŗXi%e27Lց q`#B!OO1ޔ#rh0_vk0:ׯ/J sOƉp1H!JE+ W  SLն9QoAvG*~!d҇-1"u~GFMTca!',?YդCKz 'ICw }Ճ[dDrbkuIX2Ε_,*zcT!Vծ`C$6?!8$:* u`/ J2{h LgYZ00397a27b716a17d9a023df60549d6646efe8e97 02b46a88fb3755427c4e37e0dfc37f84ec4a24d9 06836e075e09e46f8eb9eafafa5f472179d4079e 55ebdef92c7d5e4d5ffcfb0cbc0db21a00f70a38 5ae3843a3ed59ab2457ecff50bd3bef97837615b 5fd67474860cc00175ce6967175273e563c61549 6641f2c5a6c744ad1c12229e57034e74487a313b 9fbf85621a8918beb09c70d7b7c07df90b39b8cd a43348d7fa591933cf69de88f108c0c10b2ac9ee a770f7d436b24ff5736f6c9d847a64b460fefc9f e04cb52ccc6fb373be469de97c1ff8b538090ec480f4c0c8eb04f92fa9b72ba73b988fd158f20be0 2e0269c995c52ae68d15e9236e33080611f663f4 ab8b0f5e11437cc3b3ba93009ad67ac171c6a59c