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 w) ,, ]% Jordan_Hoelder:threads=2elapsed=18.520cpu=34.084gc=1.344factor=1.847zXZִF! A]ŗXf1-/6vRZ݂KjB`_cNNMY{ #lvS$iv F_3D=㬙'f{U~Iяs" ;zT濿hѯuWh^[d8W\ٓ* CϊcJ䰬aT^tfˆ {ΔtV\Du1Ioe5?$&l*-9/DCn[#@ .=j%K .  #sYUMpO ʋܞhJϚI|T~7 /v^%$ -G HR<6xylKfmQP8b`N-:٭;!ygYZ7zXZִF! J]ŗXiɟNGV/}YHE$+N7\Q"^_^`0Oz~A!U}]z6 >YNۚNR@Fva{קQ?VMwi&/oc\|7Da'C(ךXûgrEH4PO7Z[ڱ$%_鰻&TRw||j 1?:O5(Ywk(xtU =xŃw9یCڎߞ%sogYZ7zXZִF! b]ŗXi%9#c_Yozm K𼙤1}fUQ^%pD3uס-=aM-*P{rA]Rz(κn&DUB߁Da݃V J QMxˆx=A"~T8;-:"cWvK3,t_TJ)aF6*\nQGy}yDl~,os0~ww&b/n%Dm(pKb wv{Ƅ2ѕ9@Oj(Fh\a]I34}D_h;8oSO1M#8r5&rHU}[yBZeMYr`;M *`)$=ݧG^;+"YJ&W<,~@'Y$KuM{Fm r~QM装)FSb{X:0<-4'm$C6#D_[DVx9 ;E땵=JWM4!IU3Bo 2@i'~6;ˑwN%i =ϸ m܍2p)SX1]A<-"]-JPFAzͤ)ۍ:)oҠ `8ܢaϮ@ݜb^3wrc=m~ <GdgYZ37e8fb6aab46576143fea5b5ceecb3237021ca318ae0489170ffa4e9aeecb054da5126bd23bcab2b a42132ca83816d0082ab6b716aea896bf4d99d0a 9dcd22a721fb4d6cb69fff249fad38e4e65ea05c 3ed685959535f1327bdf7d26aedd8065b9d7bb35 4c54cba45bbe8628a200be1c04cfaafa81edd9c5 ) Jordan_Hoelder