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 k? , 5]HOL-Computational_Algebra:threads=6elapsed=31.418cpu=96.344gc=3.812factor=3.077zXZִF! /2]ŗXf1-q恈aldC>14aUV#/|) jUe!Hpcv`8/wyis)xJ{8qJBy bm>`5*ӵgm^)ߣ.OR[t;5.'9OŦ-NѝK[ `#S{S,i.F<\`C8OU)St`AV/g @D,*6q 5'>QG*6-g'dS~ Ѧ+}/`9^1\Y\x\7syVSVw)S)@a| |L0y  ? HOL-Computational_Algebra1"Mi3kQ4{ΜiO.v] U;5rm+OW@a>ySNnPBƺu޲y+ͭ4]LJ L\T]L.b7LqFTcBITkXc~6 s{x`.Ypb.n3iV>7#RbԺ}[Ȳ`ۛ+$>wխ\,sw%ZULzj-N4g-8sPqenr6=wuAMHTy{eA&ejͨ5y3;X`<*h:;֚9[<Ɂɹ$yUiPԱE[tL,T5' ++& 3#\J1QƓ,GT!?F'{)**n hpapHl.Z:!ؤįpw/]#R' ?= By*L ^xgYZ7zXZִF!  ]ŗXi%Ճ;O~f^;d!aw;{2#UBW'4t hcnzfjz!+v&r:6MDO[؟E025V aa.ǴrF׫CXܩtKgb"C\2Z #1 0txwmlA6_ܨyFW-;! q, UU+kUDBNte#Gk7RhB,Z,D,oMc), ety8PHޢ}w9|^.wj71aH}F?Z+k*NdH,C}K#@¾7ww@G+dNFړ؍ _sV]&kD_{/} yn<>w|/_h݁zɡFYH" =E> QS=Va-bsXڗ ɱt.Cyc!GK@*'h!}Ɍ'쁮mw: hZPAѹ6ЭpU`M1UoPՂh`iڸ{+|1V$g*FvfB cĠ-Wk4;i$tn$Hx}]1{GCEX=$ &U.%۸;Ri,@u@qPrW}mcNbh}dm~cp`%oH/&*6k:[Ea5Fxw0EmX*v+uGCzt2U Q7+'xL8ߵMYV d8ËpEDS\l !egН紻J Lr+W; :|Aw}'C8綍d!`™KkLTc)I{BZWqz:+JSg'a|v !s`I-G)) !qA4FUkjsE <'YoR z2F_ 𶮫A00ᘝ"{{x/Q $!Nae\cWp $ \w.8 \5⹪pUutLk.@~OIQ ]Ghn]ʻ۱96,MѶ{4.