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 1 ll ]/ Recursion-Theory-I:threads=2elapsed=15.631cpu=27.884gc=1.340factor=1.787zXZִF! Cm]ŗXf1-/6vR[O燸$)Fm\ܝ&p+ WHlK8`Uץ}hZ4'. &nRL[[a Vi#Yi5+d<+h0afp)cD#4}$&rj)oMUe$ԱOg1-8y Y4@6!ü-뵺BrZGK'؁]SrXhg5D0U WTT-T̊ 4NŽӁcC{(䙀N5N __dF!+8."ʱx-GrH! *|Gw`$Sv<1CXgYZ7zXZִF! -]ŗXiɟi /-v!NىR!`vsY|Gs^s<J*#4ś̑?u'\5ODM~  -*pLa S~Zd*G3}'YeECu. W)nٟRYIڄTI=pLcQ@ya =#tobgYZ7zXZִF! bA]ŗXi%;Ÿuf|\w[FFA%oĤ׹yq&4.nUxiҩ 4z8S'ruh8ʼ l\ЁB>en- 2S{7g Z*%2]?Bn' |9B~(1Uco>\&MaV6) Pᨹݘy)**WWӇ(!uSRhW92htJ1 _G8l: 02܌B 5;ZS4xԾIKXt:B!엗g6tPCb*pod-,A:^y}4CyK9bP^i~n]JiOl|am<,Հ1?,]/bcoHDc_a0aC )~ ^zc}OxP8#ev,ZMG1=FފA"ykG!i4-=PSowM\0PPwa"FP$@џ(T[i퍇69W:w.mn̮筋9(S9BçpkM^k'CM@?04GFK$ݐS7^:s2-ܗXrÕՒj G +PQ?^ % yt5"g=*$d{C˚Oa* E&t掠"&$zy-&=*>˯i (ڌnUjP<o&7a_v 2sӐA#&."X>4~窞XMnw8#%RkSr& ė'Ku Q4/Ѽ }h-M~YLнa 2n_TF F̓+ovLrl3 "TXA7kj*)t !ȖnZ[G;`4x5`h_a_ 6jA%CRV@۠a#H2)d>t L_,64Rڈe0$0[7ذuJ7ײ}OVCS扸[ŰYx%^`&A)앋HD;=RMd1=&tYTh|^=(fai\ϨpkCpqC|4:[ r[5>bF9<*"m.gkENhT#p ^ t/]~nѷ oh x g:TD+:UpyEdB*~\3>t ~ugYZec4b7d51fc822f7fc3ee4627ff037df1bd72bc0a79d8e835726df87c7b301a8f091eddccadfabbca 384240766f364b0530b95cc787b490d4a226797f 1 Recursion-Theory-I