SQLite format 3 @ . B B h77otableisabelle_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]7 indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info ? ? >1|, ]S HOL-Probability-ex:threads=6elapsed=27.745cpu=45.276gc=1.500factor=1.637zXZ ִF ! ] ŗXf1-q恈wX82Γf^en_s9@mћ QKQ1dy/@E~ݗ3N|xCNTBWjw܃9(1-Q䍐 96q `$zZvm1k&'K3~wn #>%ʤzδ49j^%x g@ "lrK[.- t\""21ǺZ4C?} ՄHLzoTxiUњ2Tq;7`fgH=A (ձL*UCp?LWd0Q95-9̟I(*JSGÚg2- k]C]_BoGDʾԲ*{ѢUQ㹘M8*p[:zիĿn[?L)8ѡ")Uc Kނ Cg YZ7zXZ ִF ! e ] ŗXiɟ11?E'TSݚ_!}M >Nл[Nf=gT_Y3NB僃QȶbP_9jr_iͅ[* I+- gjzh]@|O&{!}rz#RٜzibhOK »tޢ fYg YZ7zXZ ִF ! z] ŗXi%;Y:]=P$KPqïeE>t 9-9@ wր>ATHiAa?~_JL) &G'ctd v7jHVbx lc@w:e4YbC1n߹NM{ZtA^1Ou2ׇPF|<GȘ%nuKT䝀y黲{F䨽'y}. ahc*_PʕStKl-;Й N@ fi59? }I2:CH(hD6x+v~~=7tHMeº5sj#QE=vcֳbT_5g֧uPiҏk0AJtEsL@J 3bS0оUE&la_@5l90Il"'~7[xwV!6gjՐک{sӲFLn 9<;cGk$,wCZ:/IIEM*ʴͩmcdǀi\BV`N4 4+ 1:ڨ`AI