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 5/D4\ ]/ HOL-Proofs-Lambda:threads=6elapsed=110.954cpu=140.828gc=6.164factor=1.277zXZִF! ]ŗXf1-q恈ܗ4ޤ9ks}JspSm[aYa+gi>6I},K a,ֵᴛ^AI`,zJ0)M J$aLg\\%cMz$/lPZgkȿ3v0٢J"3"7/Vgom!ށ`Wn+̵fy~p}p*$3UXϳW&; $KV{z4=(#Kx#9!FG5&Q5dX}=+ @ hg> iUO^QYm2t8Cb60$X1اy^cыnd7"Ռ񳣘A@ f1ypґQc}t U^M3iB-gyog#^|we@> <|y恩jH7 8o,p‚p !7;J*dx-΀ M'@bYzl |N a$ru b(;4 GR˃.pfqP?|FPni0z >g4`l[v󃄭 "gYZ7zXZִF! f]ŗXi%;RQa݄t>CÂb즆po?G:%(a[V:+|b^6XkjhGa,ӵK)Ux==q_ChQF;}U}(9Q-joa\#r|h_]Bl>f|Ɵ*ĞRsq)D̯u꾚i>-@36= w7؝S{R_`R#y'xh_)PIx-*^ [U)L]ZoFƻt[oEkxt8-%y"Md7=mёo.Ym3֟8o.ĠK֎  / HOL-Proofs-LambdabL}EP]ǰv>Y~fZR֣ *u_x2[%"C{IrE^'aa '|m;~U4xnV9{1mWP J5+-m=|n놊Hǰ)_f! /H<Ӌ5s"轑Z8DF[[_C#O,ꚋn"6@w ş)àTsr\ ӼZCA8z!-iP5P oDS[|ǟ 2s{,O{]dR?eĈjO`yp4JWUKpqdiyQox0C]bahE;!9x9KӚx\AqkX̜w*!V9\^f uCۥ>~GW̭/ ZG % M"%G4fNHL]ܶ^INT8_1'FWkh|h-=^XɯWdKC j́Vވ]g*boғMҰTW6r}ekB52 $>.@?oSo=G)7F-~kocz72_:tn\&M)f#0 T*dí#2UD#ބIޢy6c>(wxWT#;PVtU@)AEul@h*%p@M^^tt~\y1 L0Cv:FGsRew'+GS ]fK Ni@ܬ3t8*zr=89De.:!0R@s<[432=d6SX7xW}9C`P@J8B3)>KkS)(l:޻^T2w+miaf 5S`Br6#5)/)e A,N?dDӰN@[늭%Ua'nLB3+x$5$7]gjTBS