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 ] ] ;TD$ ] HOL-Quickcheck_Examples:threads=2elapsed=118.451cpu=133.636gc=4.324factor=1.137zXZ ִF ! _!] ŗXf1-q恈?XVd!x{f(Ǟl<.vɉ:s 6]soP!¹s#'Ҏm@q0R Fwa:)"6RSx[}`j#{4[ [[/ObŤV[!_PwFzBC۩Q 6[} N\*ﲢwvN3X}1,8qRu奴%Rw^=tyo` (dx{X[|qKpmD\,@emJ`s?)L_D311VY2~U%=Y38(Ƅ9|{zUX?9{c㍧m `)A-`iB^10)E==_|`6]a 1W-=ƪOvϳ=OD6\^+E9xU L*\wsQyR2G9/<$8a./©(#3Em k0X/;^cq~EgFK[h0'\7;~qݔL}L&]iuͼu;jp@D&ӑ6+Iaʒykjk8|Dсbi+F"p)uoswN^٫ʈr#2^H(-ԬqP߾Jg l^4 ek5J]ii7K#~5nʳ>Pns%=v08TYx'03?\`UøVbxIP~DNtt N`"I= ?3GX-yZśPs题p,ȪFZ3SGYzվǿӌJbj"`qY`<+F#]ۇ2Țpcn<bsN>!^,':<[t(N-rK\| K\*pm~P%n) 2T DDQg+O,5i.NerxT:Y9炘oyyve]CA=Č5 -⦖i!?p_qyxtʼg3;HO}UIggOdՔΪ?Q$7fOI2MY]dNOӭm*%9.L]2XMTM]+@6ϗwec&3P}SR"?G*Q '(`VSs6rQayX.[>!dmLsބKT0+(DPNe?d`ymf` ri@IG7EDg eInZP?&, 0D!cD;|g>QUOrlVI$(Uh*ۉ)AJ>A1#"J1;vp;À5QwݷP #Ls Eg YZ7zXZ ִF ! ] ŗXiɟ1SeN|6z_מFP5{ EߋYCY-=s0C2:pތh!Q!MhR2
dMv"M=ON9k8PঙZ 9 gԠg YZ7zXZ ִF ! *] ŗXi%;g7NaG&yJE<|kBۃlaBr1/F-`Ļ,v)A7ȚRۈukhsw'9X$TL/~MTNCڭBLL4{CcףROmSL#pҬ2up]1Eh)A