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 /# $, ]% Random_BSTs:threads=2elapsed=6.260cpu=10.380gc=0.672factor=1.667zXZִF! fI]ŗXf1-q恈%kV^M[-dwPt#`Nf QHQǙQ@ΕyhiGki=FbGMպ})ZQpSudjl.]˜jH% JSYq\BͶW0t:FQ| 86S1v7.0C(gNLerI+/|cSV#jW8| VPV➸%ұ+cO兤5seޣ|j'+/T NYr"p!Y*gYZ7zXZִF! ;]ŗXiɟ1]" Mԭ02NaD^/*7ѓ떻u@::2Ձ-d(";O~YPȦm%Yv\SM!܈UHPٞ,o%©4#JY.+;ݲi3nN ٕԩӜ :[wCmFj_m8OOұgYZ7zXZִF! %w]ŗXi%9#qz_IuA}2hYE _/E.ɞ*mbJqW pr`oצV3qßGxJN.ؒ |?B!A#aP-pO2!S咨8\w[ ßĜU[8*i_ %0.8Ʊ̓RV#(U133͔x&5| HYb\5ck"y4Xj1p:OXt!ϥF4[ΰgh*A\D[-D@.DWIʈ'eKaP rB9M(uB@yPo:¢e_PF]B>i/jbL?vP{>( l( eMf*RaJZIΦ5/NT|&iHB{F}I\B#9 u@M?yD"~o祵' a*f)Q'74*d#fv^JGK:vuXtP+wjK\ZwMB8bg{L)Rž/fSV