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 TD S/ CYK:threads=2elapsed=5.288cpu=9.512gc=0.520factor=1.807zXZִF!  CYK !3d]ŗXf1-/6vRZy/``$%%|f.a־yd0ݣʿW\p2_fmPZ C{%i {0ӎS!ֵ2W297آQ}Ex&I_ &>-B>K&n!֟>6@zwr1hBi=UdkN(zH9zF@ܑtj`c kskGekcfhUrsMMz @ ,֔H"{*iU8m#2*q^邡PӾ -zĩAcyCԢp:iy N-G$)c*a0:.Q!RB?:y|Meu.;JkWEC';7Z%E1A!=cqR|.J]<~dsȠ7Z ͖N ^1S h!G HgŐ҂OCL=kd6ٗJ"22kWĨfd1_PQo +PUJF0(N2vh5p'ʊʯ6vD 3u^ A.9$6 /7|NHQ~RVJ;F5o^M5J%0D|p€h/-V*+D}WtP#csEՋDVXZ=C|kKP 'kɧg418ۛ픺%d[53Z0^udNs}BvˎgYZ7zXZִF! #]ŗXi%B׆^8raOՍz4AJ80ou186msTy\k^5.ggWL WzO^rQ#v|JDL Y8?p"< !ԐPA%z ,/nt% 9p MOH"Wm҇79"VH$U`g:zu5\Gu,Bur]10&xb;) ns%pҼq[dI R^n`*&%gloPwA:t0G<ϭ\ F\}W0yeG4WZ( dں0` +zݣqpDI!kQqD'f+"q|CvX9ZKYx;⋫H{eTrL2uq>4!۱AK*R]`~h>v3 J }@ +qޯ.= 1Kn1|)ƒ?+E7qA$