SQLite format 3@ - llB77#tableisabelle_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, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info G3 $d w/]Noninterference_CSP:threads=2elapsed=6.083cpu=11.464gc=0.516factor=1.887zXZִF! D]ŗXf1-/6vR[y(&j-:6'G0JDtjeȕwg ѦF zE^;LCW2<1U)nޮ%`i3 a$ q #1ydnxV eC:tei T*#B_EFĒT0p)3Ag עibgCoϔX{ qC %仫;wJTJKZ4*C2o4"PƔF 3 Noninterference_CSPGl'Gܑ(NX615:8Ș,^bqeFn=N/7>A#{ hCяg%^ۢ<}4Ά!nw>%Qirf‘SJ4-\'[pk:{~(կ ipVXCo 8dr'TGגl~Oh J fZRwBKUB9+}=fa$ !y g.B MFK?1YG0_ ;1ku'6GK'SKy޹u@Rwʏj|OKD~.HAK*2 ^I_lN5Bv!2r蠩fN<<^ XM ۃb3* ωrgYZ7zXZִF! *+]ŗXi%#!YB\_hF'%2 A4ICeAP<to`!6nU `p ɋBޜ {i8Rㇰ ƺ?͍Nrj!tc)2ӂ!BI\WQ1cPO'2heptkA# Z0ˆUY'ޔ(z! Y3/85,Bba I06HR'E0WzM% +<9IH4Tƾy&L?gA4}Dѣ (BZ#,gL MeL6!E!I/oCr(&J!C;Irz4͋M ωO+^>8B1A\].׉QPigZ@0Г⛎ MA S՗*U$“1-& sd [ȟ~VTq+$BoFPUQF#m3 iӋmK;1+ v2f0(%g2BW\3в[S|y~g *7x>z!̃2 )`4ҸL) b+fEƏHw';jٯ>;SFФ.0V_ÜaÜ anإީ9U<͓A֗h(`~c ߢS( TxnαgYZ22b267fb3848d40981a80663bc2c5f6954171d49 43b42a3f3b7107d89f80b8773d0c3474a15bcc91 771b3f5c71fa555ca2fa24fe47b744a27ca95d7b cbcd1445ce57308f4f2d27f4a6228cad8a14242d d1617ab7f6ce373b572c3f4401b94d09e7c0d350 ef1da747fe28e872563b4d4dd6ad351a77b9924a3b94e1300442e1a3f5f809d9b370cfc0bbbae59c 2f80d3f93a8e8908ea20a991b6190f7aaeac097c6c83c77dd908f6784651f86edfbc2f2f98c6b134