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  U U( ttt ]% Topology:threads=2elapsed=7.215cpu=13.620gc=1.040factor=1.897zXZִF! ]ŗXf1-/6vR[k5Ksn J?=P#Q䦒[Udc$VqURJϜibS՚(iGU^O^@̿.2;5BaApkc#12MS%{j*^E,Ť#aq)`aX5\;k?0 ePݤY>?BZa; rya^Bu *r ƱgYZ7zXZִF! r]ŗXiɟqHhB"U΅/|{2͐v˦:dרg&`㭙DyT>᣹' cT\xvG~hgUM{@B!QBG<j*gYZ7zXZִF! 1;1]ŗXi%;~AEU&0]˸qW`>r5S^.`'ߨ)#7lZ;GE{d?`ʱ~ WyٖHtdR`J}yzdO9L G:ssA1jPfdmU\AU_FCUjK1IUB;/˳j_ry[7򤒲x[/929zfg4U׎Yڧį'۞;u<P,(N_q A8.웰%;9 ֒Cz ՄG?:L}'}i8Afh]xRtGCtEƄ-?<*;v^KY&k _5y^vF!V T9Yڷ_VCdv^p bMrS7z;ҁfҽB>tC,5.6tt-Jc@=Z6݃Qn6l#-ŃD?w"Ö?:_qo[!HK]-#)6w$fA'&xq vv=] Y{f-22-ςNҷ',Fq ugh=#'