SQLite format 3@ .  YYQ77Atableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_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 z1 TD Sw HOL-Probability-ex:threads=6elapsed=27.104cpu=46.476gc=1.192factor=1.717zXZִF! ]ŗXf1-q恈wX822*,״ {2I[R :28BmolU!"H~Jû"&CO$nxS4_o厹0|^MȕקM~e0iΑi%8wcBrZ Vܮ(2mD AboMir̼i}f(5K›ӿGQ쒘j~ihkɝXl dVD4;5q s,Wc_*gCh#1هQ#"pqWȼ5|+,s/h1F~5lRmL;Z? bZu-'齚ςfgH@Cc޿CJ{?uVI|Ka;nJ:T.Ō#~LBh㏅29=?Kb bIU&wIOI`͓=5W;CC'f^Q3.,9u?ҥZ] 1HYx/XĿhf$/f)b"+gGD4쀸`n^kQ3_f+m ,@5K=XN̻{~+Ş@$t?Xk>_O2AO@2\~WSbSFpcv&? vR/mmPiap0pWHsjQ7t߭{: ^^!Eh3^Ə"R M;iw_PLm]}ūCsާ& u.gJ1 {);lʛۓi$ًZ6zhA&u4-R]% r[I<m*( \yxZ za(bkW^mѯ2t/ȕR?_ =1 NJxډk)Xchtt\bMz_1 U K!x&Kxmh p{O&3T3 MMp)}(`̓$e^oɿ2ERoU